projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 976d3d5) | patch
sci-mathematics/why3-for-spark: Fix metadata.xml
authorTupone Alfredo <tupone@gentoo.org>
Fri, 20 Oct 2017 05:48:20 +0000 (07:48 +0200)
committerTupone Alfredo <tupone@gentoo.org>
Fri, 20 Oct 2017 05:48:20 +0000 (07:48 +0200)
commitcb97b25bd87da46462a3d73b4d5bcda6cc13f2e1
treea4274a35d52bf6b4db817bb30319944a16645800tree | snapshot
parent976d3d57160545323abf4c58dacfc70adb94fda4commit | diff
sci-mathematics/why3-for-spark: Fix metadata.xml

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