projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a96e2b) | patch
sci-mathematics/why3-for-spark: version bump to 2019
authorTupone Alfredo <tupone@gentoo.org>
Fri, 11 Oct 2019 07:28:10 +0000 (09:28 +0200)
committerTupone Alfredo <tupone@gentoo.org>
Fri, 11 Oct 2019 07:28:10 +0000 (09:28 +0200)
commit7db15954ce77fbeacba298e6a9b01fad1f37798a
tree247c355ef2d29cdacac2bc1a554260c44d4aaa41tree | snapshot
parent0a96e2b065ec8d36db5057c6ee9ce3f4309c1f54commit | diff
sci-mathematics/why3-for-spark: version bump to 2019

Package-Manager: Portage-2.3.69, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
sci-mathematics/why3-for-spark/Manifest diff | blob | history
sci-mathematics/why3-for-spark/files/why3-for-spark-2019-gentoo.patch [new file with mode: 0644] blob
sci-mathematics/why3-for-spark/why3-for-spark-2019.ebuild [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.