projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 994ea85) | patch
sci-mathematics/coq: amd64 stable wrt bug #619676
authorAgostino Sarubbo <ago@gentoo.org>
Fri, 7 Jul 2017 08:05:33 +0000 (10:05 +0200)
committerAgostino Sarubbo <ago@gentoo.org>
Fri, 7 Jul 2017 08:05:33 +0000 (10:05 +0200)
commitab8e0468ec9dc149c4816e0e9ef854f0190e7390
tree4ef8bdba2a7c13ba5ea76e05645d786a2b82607dtree | snapshot
parent994ea85eb9de4ecede4e82cff9be2e8a957e7bf3commit | diff
sci-mathematics/coq: amd64 stable wrt bug #619676

Package-Manager: Portage-2.3.6, Repoman-2.3.1
RepoMan-Options: --include-arches="amd64"
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.