gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/why3: increase required menhir version

Browse Source 
this is a very minor change to keep it in sync with
https://opam.ocaml.org/packages/why3
also, no bump is needed since 20170418 version
is long gone from ::gentoo

Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
Maciej Barć
2022-04-16 23:24:31 +02:00
parent b84e82ed10
commit e0300e30cd
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
sci-mathematics/why3/why3-1.4.0-r2.ebuild
View File

@@ -1,4 +1,4 @@
# Copyright 1999-2021 Gentoo Authors
# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -17,7 +17,7 @@ IUSE="coq doc emacs gtk +ocamlopt re sexp +zarith zip"
RDEPEND="
!sci-mathematics/why3-for-spark
>=dev-lang/ocaml-4.05.0:=[ocamlopt?]
>=dev-ml/menhir-20151112:=
>=dev-ml/menhir-20170418:=
dev-ml/num:=
coq? ( >=sci-mathematics/coq-8.6 )
emacs? ( app-editors/emacs:* )

2
sci-mathematics/why3/why3-1.4.1.ebuild
View File

@@ -17,7 +17,7 @@ IUSE="coq doc emacs gtk +ocamlopt re sexp +zarith zip"
RDEPEND="
!sci-mathematics/why3-for-spark
>=dev-lang/ocaml-4.05.0:=[ocamlopt?]
>=dev-ml/menhir-20151112:=
>=dev-ml/menhir-20170418:=
dev-ml/num:=
coq? ( >=sci-mathematics/coq-8.6 )
emacs? ( app-editors/emacs:* )