projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1780236) | patch
sci-mathematics/coq: x86 stable wrt bug #619676
authorAgostino Sarubbo <ago@gentoo.org>
Fri, 7 Jul 2017 08:12:31 +0000 (10:12 +0200)
committerAgostino Sarubbo <ago@gentoo.org>
Fri, 7 Jul 2017 08:12:31 +0000 (10:12 +0200)
commit36715a707c55bb1955b04f81182bccd67342d16c
treebe080fedeb3aa160ea4fad1ed52c762bb326c13etree | snapshot
parent17802363ea088e684bf138e6909b577b64d5670acommit | diff
sci-mathematics/coq: x86 stable wrt bug #619676

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