diff options
| author |   Agostino Sarubbo <ago@gentoo.org> | 2017-01-26 11:58:12 +0100 |
|---|---|---|
| committer | Agostino Sarubbo <ago@gentoo.org> | 2017-01-26 12:00:35 +0100 |
| commit | 99c1cdffe52f8177cfad78ec75a3aedb12858f4e (patch) | |
| tree | 091ddb3c6be102510e0df39d40ae917615ef2185 /app-laptop | |
| parent | dev-ml/camlzip: ppc stable wrt bug #607028 (diff) | |
| download | gentoo-99c1cdffe52f8177cfad78ec75a3aedb12858f4e.tar.gz gentoo-99c1cdffe52f8177cfad78ec75a3aedb12858f4e.tar.bz2 gentoo-99c1cdffe52f8177cfad78ec75a3aedb12858f4e.zip | |
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>
Diffstat (limited to 'app-laptop')
0 files changed, 0 insertions, 0 deletions