diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2020-01-15 09:18:52 +0100 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2020-01-15 09:18:52 +0100 |
| commit | 9e87df67d81653262595c6e816aea5326ec015e6 (patch) | |
| tree | 30f854894bd67269a79ecf73a7f16765d00f094b /sci-mathematics/why3-for-spark | |
| parent | dev-ml/camlp5: version bump (diff) | |
| download | gentoo-9e87df67d81653262595c6e816aea5326ec015e6.tar.gz gentoo-9e87df67d81653262595c6e816aea5326ec015e6.tar.bz2 gentoo-9e87df67d81653262595c6e816aea5326ec015e6.zip | |
sci-mathematics/why3-for-spark: Needs a newer coq version
Package-Manager: Portage-2.3.79, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'sci-mathematics/why3-for-spark')
| -rw-r--r-- | sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild index 6df32dd74091..8d152264c067 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild @@ -22,7 +22,7 @@ DEPEND=">=dev-lang/ocaml-4.09.0[ocamlopt?] >=dev-ml/ocamlbuild-0.14.0 dev-ml/menhir dev-ml/num - coq? ( sci-mathematics/coq ) + coq? ( >=sci-mathematics/coq-8.9.1 ) doc? ( dev-tex/rubber ) gtk? ( dev-ml/lablgtk[sourceview] ) emacs? ( >=app-editors/emacs-23.1:* ) |