diff options
author | Markus Meier <maekke@gentoo.org> | 2017-04-05 19:48:33 +0200 |
---|---|---|
committer | Markus Meier <maekke@gentoo.org> | 2017-04-05 19:50:51 +0200 |
commit | 10a8d283413bfcda785269070bfd37cd8c1a8f67 (patch) | |
tree | 056bd00a2926101ed88381dfc11628fd57e16c1e /dev-lang | |
parent | dev-ml/jsonm: add ~arm, bug #611014 (diff) | |
download | gentoo-10a8d283413bfcda785269070bfd37cd8c1a8f67.tar.gz gentoo-10a8d283413bfcda785269070bfd37cd8c1a8f67.tar.bz2 gentoo-10a8d283413bfcda785269070bfd37cd8c1a8f67.zip |
dev-ml/ocaml-ctypes: add ~arm, bug #611014
Package-Manager: Portage-2.3.5, Repoman-2.3.2
RepoMan-Options: --include-arches="arm"
Diffstat (limited to 'dev-lang')
0 files changed, 0 insertions, 0 deletions