diff options
| author |   Hiroki Tokunaga <tokusan441@gmail.com> | 2024-07-22 18:24:31 +0900 |
|---|---|---|
| committer | Hiroki Tokunaga <tokusan441@gmail.com> | 2024-07-22 18:24:31 +0900 |
| commit | 07b42b34909b56e2f70569c4e9e62a69dae9c39d (patch) | |
| tree | 87dd6a53072f8b50130fc22ea14e4364476b7d30 /dev-util | |
| parent | app-emulation/wslu: add 4.1.3 (diff) | |
| download | guru-07b42b34909b56e2f70569c4e9e62a69dae9c39d.tar.gz guru-07b42b34909b56e2f70569c4e9e62a69dae9c39d.tar.bz2 guru-07b42b34909b56e2f70569c4e9e62a69dae9c39d.zip | |
dev-util/coq-lsp: Use `*` to specify the deps version
Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com>
Diffstat (limited to 'dev-util')
| -rw-r--r-- | dev-util/coq-lsp/coq-lsp-0.1.9.ebuild | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/dev-util/coq-lsp/coq-lsp-0.1.9.ebuild b/dev-util/coq-lsp/coq-lsp-0.1.9.ebuild index 91ed69240..fe157ddf8 100644 --- a/dev-util/coq-lsp/coq-lsp-0.1.9.ebuild +++ b/dev-util/coq-lsp/coq-lsp-0.1.9.ebuild @@ -5,14 +5,13 @@ EAPI=8 inherit dune -COQ_MIN_V=8.19 -COQ_MAX_V=8.20 +COQ_V=8.19 DESCRIPTION="Visual Studio Code Extension and Language Server Protocol for Coq" HOMEPAGE="https://github.com/ejgallego/coq-lsp" -SRC_URI="https://github.com/ejgallego/coq-lsp/archive/${PV}+${COQ_MIN_V}.tar.gz -> ${P}.tar.gz" +SRC_URI="https://github.com/ejgallego/coq-lsp/archive/${PV}+${COQ_V}.tar.gz -> ${P}.tar.gz" -S="${WORKDIR}/${P}-${COQ_MIN_V}" +S="${WORKDIR}/${P}-${COQ_V}" LICENSE="LGPL-2.1" @@ -24,7 +23,7 @@ IUSE="ocamlopt test" RESTRICT="!test? ( test )" RDEPEND=" - >=sci-mathematics/coq-${COQ_MIN_V}.0:= <sci-mathematics/coq-${COQ_MAX_V}.0:= + =sci-mathematics/coq-${COQ_V}*:= sci-mathematics/coq-serapi:= dev-ml/cmdliner:= |