| 1 |
commit: 6e6f034d42c2c67173ad1eb8bff08ca60404b7e6 |
| 2 |
Author: François-Xavier Carton <fx.carton91 <AT> gmail <DOT> com> |
| 3 |
AuthorDate: Sat May 7 17:45:17 2022 +0000 |
| 4 |
Commit: Francois-Xavier Carton <fx.carton91 <AT> gmail <DOT> com> |
| 5 |
CommitDate: Sat May 7 17:46:34 2022 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=6e6f034d |
| 7 |
|
| 8 |
sci-mathematics/frama-c-wp: add why3<1.5.0 restriction |
| 9 |
|
| 10 |
Signed-off-by: François-Xavier Carton <fx.carton91 <AT> gmail.com> |
| 11 |
|
| 12 |
sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild | 3 ++- |
| 13 |
sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild | 3 ++- |
| 14 |
2 files changed, 4 insertions(+), 2 deletions(-) |
| 15 |
|
| 16 |
diff --git a/sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild b/sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild |
| 17 |
index f21e63d7c..b31420839 100644 |
| 18 |
--- a/sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild |
| 19 |
+++ b/sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild |
| 20 |
@@ -19,7 +19,8 @@ RESTRICT="strip" |
| 21 |
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?] |
| 22 |
~sci-mathematics/frama-c-qed-${PV}:=[gtk?,ocamlopt?] |
| 23 |
~sci-mathematics/frama-c-rtegen-${PV}:=[ocamlopt?] |
| 24 |
- >=sci-mathematics/why3-1.4.0" |
| 25 |
+ >=sci-mathematics/why3-1.4.0 |
| 26 |
+ <sci-mathematics/why3-1.5.0" |
| 27 |
DEPEND="${RDEPEND}" |
| 28 |
BDEPEND="coq? ( >=sci-mathematics/coq-8.12.0 |
| 29 |
<sci-mathematics/coq-8.13.0 )" |
| 30 |
|
| 31 |
diff --git a/sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild b/sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild |
| 32 |
index 56a641868..30bcf4c57 100644 |
| 33 |
--- a/sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild |
| 34 |
+++ b/sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild |
| 35 |
@@ -19,7 +19,8 @@ RESTRICT="strip" |
| 36 |
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?] |
| 37 |
~sci-mathematics/frama-c-qed-${PV}:=[gtk?,ocamlopt?] |
| 38 |
~sci-mathematics/frama-c-rtegen-${PV}:=[ocamlopt?] |
| 39 |
- >=sci-mathematics/why3-1.4.0" |
| 40 |
+ >=sci-mathematics/why3-1.4.0 |
| 41 |
+ <sci-mathematics/why3-1.5.0" |
| 42 |
DEPEND="${RDEPEND}" |
| 43 |
BDEPEND="coq? ( >=sci-mathematics/coq-8.12.0 |
| 44 |
<sci-mathematics/coq-8.14.0 )" |
Archives