projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9193415) | patch
dev-lang/spark: disable zip on why3
authorTupone Alfredo <tupone@gentoo.org>
Sun, 5 Nov 2017 19:13:41 +0000 (20:13 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Sun, 5 Nov 2017 19:13:41 +0000 (20:13 +0100)
commit40e581e9adb9355ae55c4c277a79625a0162aece
tree87bef5ae57bbc71e0cb198f40485671f03604d2ftree | snapshot
parent919341574ddb78492e657702b0056ae83e787e7bcommit | diff
dev-lang/spark: disable zip on why3

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