projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e83493) | patch
sci-mathematics/why3-for-spark: Fix SRC_URI
authorTupone Alfredo <tupone@gentoo.org>
Mon, 23 Oct 2017 18:29:37 +0000 (20:29 +0200)
committerTupone Alfredo <tupone@gentoo.org>
Mon, 23 Oct 2017 18:30:36 +0000 (20:30 +0200)
commitb9de4cea63a1f308a54f7fdfbe818a65bf9bcace
tree87275515018d797cabd8695e8c9f769dd4ed57e6tree | snapshot
parent7e8349388eb7acc6a0536c863f5639ffae8efffccommit | diff
sci-mathematics/why3-for-spark: Fix SRC_URI

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.