diff options
| author |   Thomas Deutschmann <whissi@gentoo.org> | 2018-02-11 22:45:21 +0100 |
|---|---|---|
| committer | Thomas Deutschmann <whissi@gentoo.org> | 2018-02-11 22:56:01 +0100 |
| commit | 373ea8f6349f611fba48c7b4e61ef28f3f0cc986 (patch) | |
| tree | 3237fdca56cd9e118ba8b3382955a6d2cc78f85a /dev-ml/ppx_tools | |
| parent | dev-ml/ocaml-ctypes: x86 keyworded (bug #619536) (diff) | |
| download | gentoo-373ea8f6349f611fba48c7b4e61ef28f3f0cc986.tar.gz gentoo-373ea8f6349f611fba48c7b4e61ef28f3f0cc986.tar.bz2 gentoo-373ea8f6349f611fba48c7b4e61ef28f3f0cc986.zip | |
dev-ml/integers: x86 keyworded (bug #619536)
Package-Manager: Portage-2.3.24, Repoman-2.3.6
Diffstat (limited to 'dev-ml/ppx_tools')
0 files changed, 0 insertions, 0 deletions