From 28fa4c56bba04fe751e45cff07af6e2285bca741 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maciej=20Bar=C4=87?= Date: Sat, 23 Jul 2022 00:23:52 +0200 Subject: [PATCH] sci-mathematics/why3: remove unnecessary seq dependency MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Maciej Barć --- .../why3/{why3-1.4.0-r2.ebuild => why3-1.4.0-r3.ebuild} | 2 +- .../why3/{why3-1.4.1.ebuild => why3-1.4.1-r1.ebuild} | 2 +- .../why3/{why3-1.5.0.ebuild => why3-1.5.0-r1.ebuild} | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) rename sci-mathematics/why3/{why3-1.4.0-r2.ebuild => why3-1.4.0-r3.ebuild} (98%) rename sci-mathematics/why3/{why3-1.4.1.ebuild => why3-1.4.1-r1.ebuild} (98%) rename sci-mathematics/why3/{why3-1.5.0.ebuild => why3-1.5.0-r1.ebuild} (98%) 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 efe23fa3bbde5..e57cc66c0237e 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 efe23fa3bbde5..e57cc66c0237e 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 9c250c09c3d00..5f542a4b9e572 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?]