projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eb191a2) | patch
sci-mathematics/coq: ppc stable wrt bug #619676
authorAgostino Sarubbo <ago@gentoo.org>
Fri, 7 Jul 2017 13:10:02 +0000 (15:10 +0200)
committerAgostino Sarubbo <ago@gentoo.org>
Fri, 7 Jul 2017 13:23:38 +0000 (15:23 +0200)
commit7923ee237a28ea83fd87a82a5b8321a52f95571a
tree19311fba36895fa54dcd81856eac80d52fb46922tree | snapshot
parenteb191a26bcf6dc07d613b4f9188e0380e6abd298commit | diff
sci-mathematics/coq: ppc stable wrt bug #619676

Package-Manager: Portage-2.3.6, Repoman-2.3.1
RepoMan-Options: --include-arches="ppc"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
sci-mathematics/coq/coq-8.6.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.