sci-mathematics/why3-for-spark: Stable
authorTupone Alfredo <tupone@gentoo.org>
Sun, 16 Dec 2018 08:36:37 +0000 (09:36 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Sun, 16 Dec 2018 08:36:37 +0000 (09:36 +0100)
commit05ca892773aa24c6dd3b8b0fa28d5aa261ffe4f0
tree7f3cb59bf2941da33a2b501aff2890e522fcc17d
parentd902d1e13ffa95aed2b7e797e859c56ed0a67495
sci-mathematics/why3-for-spark: Stable

Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.51, Repoman-2.3.11
sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild