projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a49538a) | patch
dev-ml/camlp5: ppc stable wrt bug #709348
authorAgostino Sarubbo <ago@gentoo.org>
Mon, 17 Feb 2020 12:08:47 +0000 (13:08 +0100)
committerAgostino Sarubbo <ago@gentoo.org>
Mon, 17 Feb 2020 12:08:47 +0000 (13:08 +0100)
commitbb2a5431c1d5678c9c05a91fd75ac6d7702de6ef
tree1f51db64420a307c630360487f13f4fa90acf043tree | snapshot
parenta49538ac90299fbaddf1292149468db458bbf9f1commit | diff
dev-ml/camlp5: ppc stable wrt bug #709348

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