summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2022-10-01 22:59:38 +0200
committerMaciej Barć <xgqt@gentoo.org>2022-10-02 01:34:56 +0200
commit4069d63856f17a2765b5c24a17449dbf161d9ab1 (patch)
tree96c89821d708a8b26398006e876bf665a4621fb3 /sci-mathematics/coq-serapi
parentsys-apps/hw-probe: add 1.6.5 (diff)
downloadgentoo-4069d63856f17a2765b5c24a17449dbf161d9ab1.tar.gz
gentoo-4069d63856f17a2765b5c24a17449dbf161d9ab1.tar.bz2
gentoo-4069d63856f17a2765b5c24a17449dbf161d9ab1.zip
sci-mathematics/coq-serapi: restrict coq version
Closes: https://bugs.gentoo.org/873604 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/coq-serapi')
-rw-r--r--sci-mathematics/coq-serapi/coq-serapi-0.15.0-r3.ebuild (renamed from sci-mathematics/coq-serapi/coq-serapi-0.15.0-r2.ebuild)2
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r2.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r3.ebuild
index 2290f780d192..ddda9b6a1dce 100644
--- a/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r2.ebuild
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r3.ebuild
@@ -21,7 +21,7 @@ IUSE="emacs +ocamlopt test"
RESTRICT="!test? ( test )"
RDEPEND="
- >=sci-mathematics/coq-${COQV}:=
+ >=sci-mathematics/coq-${COQV}:= <sci-mathematics/coq-8.16:=
>=dev-ml/ppx_sexp_conv-0.13.0:= <dev-ml/ppx_sexp_conv-0.15.0:=
dev-ml/cmdliner:=
dev-ml/ppx_deriving:=