commit: 4d56f41bcbf02ab76cd1d36ecc7e1f93a3261ce2
Author: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
AuthorDate: Thu Mar 4 13:07:33 2021 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
CommitDate: Thu Mar 4 13:07:33 2021 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=4d56f41b
sci-mathematics/why3: use the proper version number for frame-c
Package-Manager: Portage-3.0.16, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> riseup.net>
sci-mathematics/why3/why3-1.3.3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/why3/why3-1.3.3.ebuild
b/sci-mathematics/why3/why3-1.3.3.ebuild
index 41c1f9b9f..ab4a54b91 100644
--- a/sci-mathematics/why3/why3-1.3.3.ebuild
+++ b/sci-mathematics/why3/why3-1.3.3.ebuild
@@ -29,7 +29,7 @@ DEPEND="
dev-ml/menhir
dev-ml/num
sci-mathematics/coq
- frama-c? ( >=sci-mathematics/frama-c-20140301 )
+ frama-c? ( >=sci-mathematics/frama-c-22 )
float? ( sci-mathematics/flocq )
"
RDEPEND="${DEPEND}"
