commit: f82a0ccd1ec627e46d64547495ec328895456dc5
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Jan 27 11:26:26 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Jan 27 13:01:59 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f82a0ccd
sci-mathematics/coq-serapi: remove ppx_sexp_conv restriction
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
.../{coq-serapi-0.16.2.ebuild => coq-serapi-0.16.2-r1.ebuild} | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.2.ebuild
b/sci-mathematics/coq-serapi/coq-serapi-0.16.2-r1.ebuild
similarity index 95%
rename from sci-mathematics/coq-serapi/coq-serapi-0.16.2.ebuild
rename to sci-mathematics/coq-serapi/coq-serapi-0.16.2-r1.ebuild
index 3c68fbf69d0d..44a2d0a9b186 100644
--- a/sci-mathematics/coq-serapi/coq-serapi-0.16.2.ebuild
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.16.2-r1.ebuild
@@ -9,6 +9,7 @@ inherit elisp-common dune
DESCRIPTION="Serialization library and protocol for interaction with the Coq
proof assistant"
HOMEPAGE="https://github.com/ejgallego/coq-serapi/";
+
# The tarball in SRC_URI is comprised of <supported coq>+<package version>
SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
-> ${P}.tar.gz"
@@ -22,7 +23,7 @@ RESTRICT="!test? ( test )"
RDEPEND="
>=sci-mathematics/coq-${COQV}:= <sci-mathematics/coq-8.17:=
- >=dev-ml/ppx_sexp_conv-0.13.0:= <dev-ml/ppx_sexp_conv-0.15.0:=
+ >=dev-ml/ppx_sexp_conv-0.13.0:=
dev-ml/cmdliner:=
dev-ml/ppx_compare:=
dev-ml/ppx_deriving:=
