commit: 6e80e1faa1d22ce4ad7c95092c12c9e2e758fb47
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Sep 23 23:22:40 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Sep 23 23:52:39 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6e80e1fa
sci-mathematics/alt-ergo: 2.4.2 - do not depend on seq
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
.../alt-ergo/{alt-ergo-2.4.2.ebuild => alt-ergo-2.4.2-r1.ebuild} | 1 -
1 file changed, 1 deletion(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.2.ebuild
b/sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild
similarity index 98%
rename from sci-mathematics/alt-ergo/alt-ergo-2.4.2.ebuild
rename to sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild
index 69cec7be217d..496625cddfef 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.4.2.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild
@@ -24,7 +24,6 @@ RDEPEND="
>=dev-ml/ocplib-simplex-0.4:=
dev-ml/camlzip:=
dev-ml/num:=
- dev-ml/seq:=
dev-ml/stdlib-shims:=
dev-ml/zarith:=
gui? (
