sci-mathematics/why3-for-spark: Version bump to 2018
authorTupone Alfredo <tupone@gentoo.org>
Fri, 13 Jul 2018 06:49:22 +0000 (08:49 +0200)
committerTupone Alfredo <tupone@gentoo.org>
Fri, 13 Jul 2018 06:49:22 +0000 (08:49 +0200)
commita30437c0c5fb08780562baccb5ff3eeb511bb6ad
tree6052a84a1558472a486e144484ee1afc116244c0
parent72b615a85a1cf5c8f384d1a0957de0ad42d3afd3
sci-mathematics/why3-for-spark: Version bump to 2018

Package-Manager: Portage-2.3.40, Repoman-2.3.9
sci-mathematics/why3-for-spark/Manifest
sci-mathematics/why3-for-spark/files/why3-for-spark-2018-gentoo.patch [new file with mode: 0644]
sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild [new file with mode: 0644]