projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed82ab5) | patch
dev-lang/ocaml: ppc stable wrt bug #581946
authorAgostino Sarubbo <ago@gentoo.org>
Thu, 26 Jan 2017 10:58:12 +0000 (11:58 +0100)
committerAgostino Sarubbo <ago@gentoo.org>
Thu, 26 Jan 2017 11:00:35 +0000 (12:00 +0100)
commit99c1cdffe52f8177cfad78ec75a3aedb12858f4e
tree091ddb3c6be102510e0df39d40ae917615ef2185tree | snapshot
parented82ab588070abe0e00bd4285b4afbde6ee7b03acommit | diff
dev-lang/ocaml: ppc stable wrt bug #581946

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