diff options
author | Jeroen Roovers <jer@gentoo.org> | 2015-11-03 05:10:34 +0100 |
---|---|---|
committer | Jeroen Roovers <jer@gentoo.org> | 2015-11-03 05:10:34 +0100 |
commit | 621c75aae1df53068f5dfefd9e462ab8fb3db790 (patch) | |
tree | e3daf9b272478b202c7d70a811578b576ab1a86e /dev-ml/camlp4 | |
parent | dev-lang/php: remove two obsolete addpredict() calls. (diff) | |
download | gentoo-621c75aae1df53068f5dfefd9e462ab8fb3db790.tar.gz gentoo-621c75aae1df53068f5dfefd9e462ab8fb3db790.tar.bz2 gentoo-621c75aae1df53068f5dfefd9e462ab8fb3db790.zip |
dev-lang/ocaml: Stable for PPC64 (bug #463018).
Package-Manager: portage-2.2.23
RepoMan-Options: --ignore-arches
Diffstat (limited to 'dev-ml/camlp4')
0 files changed, 0 insertions, 0 deletions