| 1 |
commit: 9f99717f909fcb7eff1e3445b4d1f19129f112a3 |
| 2 |
Author: François-Xavier Carton <fx.carton91 <AT> gmail <DOT> com> |
| 3 |
AuthorDate: Tue Mar 30 19:51:52 2021 +0000 |
| 4 |
Commit: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net> |
| 5 |
CommitDate: Tue Mar 30 19:51:52 2021 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=9f99717f |
| 7 |
|
| 8 |
sci-mathematics/frama-c: doesn't build with why3-1.4.0 |
| 9 |
|
| 10 |
Signed-off-by: François-Xavier Carton <fx.carton91 <AT> gmail.com> |
| 11 |
|
| 12 |
sci-mathematics/frama-c/frama-c-22.0.ebuild | 2 +- |
| 13 |
1 file changed, 1 insertion(+), 1 deletion(-) |
| 14 |
|
| 15 |
diff --git a/sci-mathematics/frama-c/frama-c-22.0.ebuild b/sci-mathematics/frama-c/frama-c-22.0.ebuild |
| 16 |
index d9fa08e3a..cffc68867 100644 |
| 17 |
--- a/sci-mathematics/frama-c/frama-c-22.0.ebuild |
| 18 |
+++ b/sci-mathematics/frama-c/frama-c-22.0.ebuild |
| 19 |
@@ -24,7 +24,7 @@ RDEPEND=" |
| 20 |
>=dev-ml/zarith-1.5[ocamlopt?] |
| 21 |
>=dev-ml/yojson-1.4.1[ocamlopt?] |
| 22 |
gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,gnomecanvas,ocamlopt?] ) |
| 23 |
- wp? ( >=sci-mathematics/why3-1.3.3 )" |
| 24 |
+ wp? ( ~sci-mathematics/why3-1.3.3 )" |
| 25 |
DEPEND="${RDEPEND} |
| 26 |
dev-ml/findlib |
| 27 |
media-gfx/graphviz" |
Archives