sci-mathematics/why3-for-spark: Adding examples
authorTupone Alfredo <tupone@gentoo.org>
Tue, 24 Oct 2017 18:32:44 +0000 (20:32 +0200)
committerTupone Alfredo <tupone@gentoo.org>
Tue, 24 Oct 2017 18:32:44 +0000 (20:32 +0200)
commit68056447a56bcd1c6d4ff5c342651190889c252a
treed2fee356dd1ec6fa0bb1cc757ff7813ad0921b11
parentb366565d8b55c58bf888bd0a4c39b19341c52dc8
sci-mathematics/why3-for-spark: Adding examples

Package-Manager: Portage-2.3.8, Repoman-2.3.3
sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild