commit: 28fa4c56bba04fe751e45cff07af6e2285bca741
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Jul 22 22:23:52 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Jul 23 00:03:18 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=28fa4c56
sci-mathematics/why3: remove unnecessary seq dependency
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/why3/{why3-1.4.0-r2.ebuild => why3-1.4.0-r3.ebuild} | 2 +-
sci-mathematics/why3/{why3-1.4.1.ebuild => why3-1.4.1-r1.ebuild} | 2 +-
sci-mathematics/why3/{why3-1.5.0.ebuild => why3-1.5.0-r1.ebuild} | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/sci-mathematics/why3/why3-1.4.0-r2.ebuild
b/sci-mathematics/why3/why3-1.4.0-r3.ebuild
similarity index 98%
rename from sci-mathematics/why3/why3-1.4.0-r2.ebuild
rename to sci-mathematics/why3/why3-1.4.0-r3.ebuild
index efe23fa3bbde..e57cc66c0237 100644
--- a/sci-mathematics/why3/why3-1.4.0-r2.ebuild
+++ b/sci-mathematics/why3/why3-1.4.0-r3.ebuild
@@ -22,7 +22,7 @@ RDEPEND="
coq? ( >=sci-mathematics/coq-8.6 )
emacs? ( app-editors/emacs:* )
gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] )
- re? ( dev-ml/re:= dev-ml/seq:= )
+ re? ( dev-ml/re:= )
sexp? (
dev-ml/ppx_deriving:=[ocamlopt?]
dev-ml/ppx_sexp_conv:=[ocamlopt?]
diff --git a/sci-mathematics/why3/why3-1.4.1.ebuild
b/sci-mathematics/why3/why3-1.4.1-r1.ebuild
similarity index 98%
rename from sci-mathematics/why3/why3-1.4.1.ebuild
rename to sci-mathematics/why3/why3-1.4.1-r1.ebuild
index efe23fa3bbde..e57cc66c0237 100644
--- a/sci-mathematics/why3/why3-1.4.1.ebuild
+++ b/sci-mathematics/why3/why3-1.4.1-r1.ebuild
@@ -22,7 +22,7 @@ RDEPEND="
coq? ( >=sci-mathematics/coq-8.6 )
emacs? ( app-editors/emacs:* )
gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] )
- re? ( dev-ml/re:= dev-ml/seq:= )
+ re? ( dev-ml/re:= )
sexp? (
dev-ml/ppx_deriving:=[ocamlopt?]
dev-ml/ppx_sexp_conv:=[ocamlopt?]
diff --git a/sci-mathematics/why3/why3-1.5.0.ebuild
b/sci-mathematics/why3/why3-1.5.0-r1.ebuild
similarity index 98%
rename from sci-mathematics/why3/why3-1.5.0.ebuild
rename to sci-mathematics/why3/why3-1.5.0-r1.ebuild
index 9c250c09c3d0..5f542a4b9e57 100644
--- a/sci-mathematics/why3/why3-1.5.0.ebuild
+++ b/sci-mathematics/why3/why3-1.5.0-r1.ebuild
@@ -22,7 +22,7 @@ RDEPEND="
coq? ( >=sci-mathematics/coq-8.7 )
emacs? ( app-editors/emacs:* )
gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] )
- re? ( dev-ml/re:= dev-ml/seq:= )
+ re? ( dev-ml/re:= )
sexp? (
dev-ml/ppx_deriving:=[ocamlopt?]
dev-ml/ppx_sexp_conv:=[ocamlopt?]
