mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-08 22:52:59 -04:00
Code Issues Packages Projects Releases Wiki Activity

sci-mathematics/frama-c-wp: add why3<1.5.0 restriction

Browse Source 
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
This commit is contained in:
François-Xavier Carton
2022-05-07 19:45:17 +02:00
parent 4d6b38cbca
commit 6e6f034d42
2 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild
View File

@@ -19,7 +19,8 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]
~sci-mathematics/frama-c-qed-${PV}:=[gtk?,ocamlopt?]
~sci-mathematics/frama-c-rtegen-${PV}:=[ocamlopt?]
>=sci-mathematics/why3-1.4.0"
>=sci-mathematics/why3-1.4.0
<sci-mathematics/why3-1.5.0"
DEPEND="${RDEPEND}"
BDEPEND="coq? ( >=sci-mathematics/coq-8.12.0
<sci-mathematics/coq-8.13.0 )"

3
sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild
View File

@@ -19,7 +19,8 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]
~sci-mathematics/frama-c-qed-${PV}:=[gtk?,ocamlopt?]
~sci-mathematics/frama-c-rtegen-${PV}:=[ocamlopt?]
>=sci-mathematics/why3-1.4.0"
>=sci-mathematics/why3-1.4.0
<sci-mathematics/why3-1.5.0"
DEPEND="${RDEPEND}"
BDEPEND="coq? ( >=sci-mathematics/coq-8.12.0
<sci-mathematics/coq-8.14.0 )"