diff options
| author |   François-Xavier Carton <fx.carton91@gmail.com> | 2022-05-07 19:45:17 +0200 |
|---|---|---|
| committer | François-Xavier Carton <fx.carton91@gmail.com> | 2022-05-07 19:46:34 +0200 |
| commit | 6e6f034d42c2c67173ad1eb8bff08ca60404b7e6 (patch) | |
| tree | 9f33537be68805fa95e0406bf20c41ba4d508819 /sci-mathematics | |
| parent | dev-libs/libayatana-indicator: dropped unneccasary variables (diff) | |
| download | guru-6e6f034d42c2c67173ad1eb8bff08ca60404b7e6.tar.gz guru-6e6f034d42c2c67173ad1eb8bff08ca60404b7e6.tar.bz2 guru-6e6f034d42c2c67173ad1eb8bff08ca60404b7e6.zip | |
sci-mathematics/frama-c-wp: add why3<1.5.0 restriction
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild | 3 | ||||
| -rw-r--r-- | sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild | 3 |
2 files changed, 4 insertions, 2 deletions
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 index f21e63d7c..b31420839 100644 --- a/sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild +++ b/sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild @@ -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 )" 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 index 56a641868..30bcf4c57 100644 --- a/sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild +++ b/sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild @@ -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 )" |