diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-07-23 00:23:52 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-07-23 02:03:18 +0200 |
| commit | 28fa4c56bba04fe751e45cff07af6e2285bca741 (patch) | |
| tree | adff5a39ec32f8050a7636454bf6d273a0f77456 /sci-mathematics/why3 | |
| parent | app-metrics/node_exporter: drop 1.1.2-r1 (diff) | |
| download | gentoo-28fa4c56bba04fe751e45cff07af6e2285bca741.tar.gz gentoo-28fa4c56bba04fe751e45cff07af6e2285bca741.tar.bz2 gentoo-28fa4c56bba04fe751e45cff07af6e2285bca741.zip | |
sci-mathematics/why3: remove unnecessary seq dependency
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/why3')
| -rw-r--r-- | sci-mathematics/why3/why3-1.4.0-r3.ebuild (renamed from sci-mathematics/why3/why3-1.4.0-r2.ebuild) | 2 | ||||
| -rw-r--r-- | sci-mathematics/why3/why3-1.4.1-r1.ebuild (renamed from sci-mathematics/why3/why3-1.4.1.ebuild) | 2 | ||||
| -rw-r--r-- | sci-mathematics/why3/why3-1.5.0-r1.ebuild (renamed from sci-mathematics/why3/why3-1.5.0.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 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 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 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?] |