projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 43fc3f0) | patch
dev-lang/ocaml: ppc stable wrt bug #708696
authorAgostino Sarubbo <ago@gentoo.org>
Tue, 11 Feb 2020 12:14:58 +0000 (13:14 +0100)
committerAgostino Sarubbo <ago@gentoo.org>
Tue, 11 Feb 2020 12:14:58 +0000 (13:14 +0100)
commit5c063e167b7751a3a8fdf4f90c0744ab07cab0b4
tree634e5490ad39236df34ea9a3d4773d49507c5f47tree | snapshot
parent43fc3f01fd219af673df1d0e1731500ca3c9411ccommit | diff
dev-lang/ocaml: ppc stable wrt bug #708696

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