projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9075bb3) | patch
sci-mathematics/coq: x86 stable wrt bug #553322
authorAgostino Sarubbo <ago@gentoo.org>
Wed, 11 Nov 2015 10:38:46 +0000 (11:38 +0100)
committerAgostino Sarubbo <ago@gentoo.org>
Wed, 11 Nov 2015 10:38:46 +0000 (11:38 +0100)
commit377000ef6136e6468b75c76b75a4871c9e1979c6
treeeeb6c0f5205a5f9555c484ea94043a69cdc00c34tree | snapshot
parent9075bb32c413e50a4995f15dfdce92fd4a4338f0commit | diff
sci-mathematics/coq: x86 stable wrt bug #553322

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