projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0183bd0) | patch
sci-mathematics/coq: ppc stable wrt bug #553322
authorAgostino Sarubbo <ago@gentoo.org>
Thu, 12 Nov 2015 11:43:18 +0000 (12:43 +0100)
committerAgostino Sarubbo <ago@gentoo.org>
Thu, 12 Nov 2015 11:43:18 +0000 (12:43 +0100)
commitf0441d3656e1ec8869812329b1e074f6f1831c0a
tree762d36442393dfa21bd8d5e443c8492a6bce2afetree | snapshot
parent0183bd09268d786ee0e48e748eb71db53842ffeccommit | diff
sci-mathematics/coq: ppc stable wrt bug #553322

Package-Manager: portage-2.2.20.1
RepoMan-Options: --include-arches="ppc"
sci-mathematics/coq/coq-8.4_p5.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.