diff options
author | Agostino Sarubbo <ago@gentoo.org> | 2017-01-25 15:28:29 +0100 |
---|---|---|
committer | Agostino Sarubbo <ago@gentoo.org> | 2017-01-25 15:28:29 +0100 |
commit | 64fea3474140001a8242441e96de4463f7835415 (patch) | |
tree | 1a51ce40eae2e04a03f97528bd037bd58e628ac3 /dev-ml/ppx_core | |
parent | dev-ml/camlzip: amd64 stable wrt bug #607028 (diff) | |
download | gentoo-64fea3474140001a8242441e96de4463f7835415.tar.gz gentoo-64fea3474140001a8242441e96de4463f7835415.tar.bz2 gentoo-64fea3474140001a8242441e96de4463f7835415.zip |
dev-ml/facile: amd64 stable wrt bug #607032
Package-Manager: portage-2.3.0
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_core')
0 files changed, 0 insertions, 0 deletions