commit: 57e2f456368e0651bd4211f1ace49d35497cb0d6
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Oct 26 21:52:29 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Oct 26 22:04:34 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=57e2f456
sci-mathematics/coq-serapi: remove seq dependency
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
.../coq-serapi/{coq-serapi-0.16.0.ebuild => coq-serapi-0.16.0-r1.ebuild} | 1 -
1 file changed, 1 deletion(-)
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.0.ebuild
b/sci-mathematics/coq-serapi/coq-serapi-0.16.0-r1.ebuild
similarity index 98%
rename from sci-mathematics/coq-serapi/coq-serapi-0.16.0.ebuild
rename to sci-mathematics/coq-serapi/coq-serapi-0.16.0-r1.ebuild
index 1c0a68608d2c..fed96a12b2dc 100644
--- a/sci-mathematics/coq-serapi/coq-serapi-0.16.0.ebuild
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.16.0-r1.ebuild
@@ -23,7 +23,6 @@ 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/seq-0.3:=
dev-ml/cmdliner:=
dev-ml/ppx_compare:=
dev-ml/ppx_deriving:=
