projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8c91d2) | patch
dev-ml/camlp5: ppc stable wrt bug #604938
authorAgostino Sarubbo <ago@gentoo.org>
Sun, 15 Jan 2017 15:17:12 +0000 (16:17 +0100)
committerAgostino Sarubbo <ago@gentoo.org>
Sun, 15 Jan 2017 15:48:22 +0000 (16:48 +0100)
commit2dec7dd4cde0f31c2ded0e186b409644df138c2e
tree1d27c9e04aff8ab63b66d7ee032237c1c481ddf6tree | snapshot
parentd8c91d27e8a4228059effc64cb5cb243cf0496ffcommit | diff
dev-ml/camlp5: ppc stable wrt bug #604938

Package-Manager: portage-2.3.0
RepoMan-Options: --include-arches="ppc"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
dev-ml/camlp5/camlp5-6.17.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.