diff options
| author |   Agostino Sarubbo <ago@gentoo.org> | 2017-01-26 11:58:02 +0100 |
|---|---|---|
| committer | Agostino Sarubbo <ago@gentoo.org> | 2017-01-26 12:00:35 +0100 |
| commit | ed82ab588070abe0e00bd4285b4afbde6ee7b03a (patch) | |
| tree | 4c4130c559de091de55a635ebb5e7cc20903d422 /dev-lang/ocaml | |
| parent | dev-ml/facile: ppc stable wrt bug #607032 (diff) | |
| download | gentoo-ed82ab588070abe0e00bd4285b4afbde6ee7b03a.tar.gz gentoo-ed82ab588070abe0e00bd4285b4afbde6ee7b03a.tar.bz2 gentoo-ed82ab588070abe0e00bd4285b4afbde6ee7b03a.zip | |
dev-ml/camlzip: ppc stable wrt bug #607028
Package-Manager: portage-2.3.0
RepoMan-Options: --include-arches="ppc"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Diffstat (limited to 'dev-lang/ocaml')
0 files changed, 0 insertions, 0 deletions