summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAgostino Sarubbo <ago@gentoo.org>2017-01-25 15:28:40 +0100
committerAgostino Sarubbo <ago@gentoo.org>2017-01-25 15:28:40 +0100
commitb3281f820bf5ef3679b0fa09e34420597f7d7520 (patch)
tree6892c7d40e9690ff6ee6296dac2359a089371066 /dev-ml
parentdev-ml/facile: amd64 stable wrt bug #607032 (diff)
downloadgentoo-b3281f820bf5ef3679b0fa09e34420597f7d7520.tar.gz
gentoo-b3281f820bf5ef3679b0fa09e34420597f7d7520.tar.bz2
gentoo-b3281f820bf5ef3679b0fa09e34420597f7d7520.zip
dev-lang/ocaml: amd64 stable wrt bug #581946
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Diffstat (limited to 'dev-ml')
0 files changed, 0 insertions, 0 deletions