diff options
| author | Thomas Deutschmann <whissi@gentoo.org> | 2018-02-11 22:43:04 +0100 |
|---|---|---|
| committer | Thomas Deutschmann <whissi@gentoo.org> | 2018-02-11 22:55:48 +0100 |
| commit | 7dbb4ad25f62b067b8c757ec334eb2276ad30f00 (patch) | |
| tree | b538d76ffcff515e54d49a336fbd1c9f53728c87 /dev-ml/mirage-profile | |
| parent | a863e623ec59adb0fc34829b3df566e19914b98e (diff) | |
| download | gentoo-7dbb4ad25f62b067b8c757ec334eb2276ad30f00.tar.gz gentoo-7dbb4ad25f62b067b8c757ec334eb2276ad30f00.tar.xz | |
dev-ml/ocamlify: x86 keyworded (bug #607024)
Package-Manager: Portage-2.3.24, Repoman-2.3.6
Diffstat (limited to 'dev-ml/mirage-profile')
0 files changed, 0 insertions, 0 deletions