projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 35c1565) | patch
sci-mathematics/why3-for-spark: Needs a newer coq version
authorTupone Alfredo <tupone@gentoo.org>
Wed, 15 Jan 2020 08:18:52 +0000 (09:18 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Wed, 15 Jan 2020 08:18:52 +0000 (09:18 +0100)
commit9e87df67d81653262595c6e816aea5326ec015e6
tree30f854894bd67269a79ecf73a7f16765d00f094btree | snapshot
parent35c15657737239094903650c6941b7ac0a9d5e95commit | diff
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>
sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.