projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 108ab48) | patch
dev-lang/ocaml: ppc stable wrt bug #622544
authorAgostino Sarubbo <ago@gentoo.org>
Fri, 7 Jul 2017 13:16:43 +0000 (15:16 +0200)
committerAgostino Sarubbo <ago@gentoo.org>
Fri, 7 Jul 2017 13:23:55 +0000 (15:23 +0200)
commitc21dc3d3e72b6f000a2b6abeeb2036e309ed2a74
tree92a068b1f8da0a90f5c2ec95ee5dabfc875406c6tree | snapshot
parent108ab4879231ffabec1899e48adf1de6ad689c51commit | diff
dev-lang/ocaml: ppc stable wrt bug #622544

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