projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1b5793f) | patch
sci-mathematics/why3-for-spark: Install libraries
authorTupone Alfredo <tupone@gentoo.org>
Sat, 4 Nov 2017 18:28:34 +0000 (19:28 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Sat, 4 Nov 2017 18:28:34 +0000 (19:28 +0100)
commit9ca01a8eb0c26afe211e01dcea811b54b29f0b28
tree424916dea3ab9c322e64d85b2a95246d0a1031d8tree | snapshot
parent1b5793fcd7dcdcb6e28dbbfb79001f9cb4a1a8eacommit | diff
sci-mathematics/why3-for-spark: Install libraries

Package-Manager: Portage-2.3.8, Repoman-2.3.3
sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.