diff options
| author |   Andrew Ammerlaan <andrewammerlaan@riseup.net> | 2021-03-04 14:07:33 +0100 |
|---|---|---|
| committer | Andrew Ammerlaan <andrewammerlaan@riseup.net> | 2021-03-04 14:07:33 +0100 |
| commit | 4d56f41bcbf02ab76cd1d36ecc7e1f93a3261ce2 (patch) | |
| tree | a36dea05f73b8b9558f5fb94e54e767e55a0b0ad | |
| parent | sci-mathematics/frama-c: version bump 22.0, EAPI bump (diff) | |
| download | sci-4d56f41bcbf02ab76cd1d36ecc7e1f93a3261ce2.tar.gz sci-4d56f41bcbf02ab76cd1d36ecc7e1f93a3261ce2.tar.bz2 sci-4d56f41bcbf02ab76cd1d36ecc7e1f93a3261ce2.zip | |
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@riseup.net>
| -rw-r--r-- | sci-mathematics/why3/why3-1.3.3.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
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}" |