gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-11-07 18:07:08 -08:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/why3: remove unnecessary seq dependency

Browse Source 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
Maciej Barć
2022-07-23 02:03:18 +02:00
parent 78d9da6e2c
commit 28fa4c56bb
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sci-mathematics/why3/why3-1.4.0-r2.ebuild → sci-mathematics/why3/why3-1.4.0-r3.ebuild
+1 -1
View File
@@ -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?]
sci-mathematics/why3/why3-1.4.1.ebuild → sci-mathematics/why3/why3-1.4.1-r1.ebuild
+1 -1
View File
@@ -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?]
sci-mathematics/why3/why3-1.5.0.ebuild → sci-mathematics/why3/why3-1.5.0-r1.ebuild
+1 -1
View File
@@ -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?]