diff options
| author | Agostino Sarubbo <ago@gentoo.org> | 2017-01-25 15:29:08 +0100 |
|---|---|---|
| committer | Agostino Sarubbo <ago@gentoo.org> | 2017-01-25 15:29:08 +0100 |
| commit | adf78440ab88212588b1b6f3569e31ff99a0934b (patch) | |
| tree | bf6e6ed8ea0f0dbf2bdf5a933ec69cd3ee5c2874 /dev-php | |
| parent | a29c7aa5d127e354ac613dbc491740c60c75fa7d (diff) | |
| download | gentoo-adf78440ab88212588b1b6f3569e31ff99a0934b.tar.gz gentoo-adf78440ab88212588b1b6f3569e31ff99a0934b.tar.xz | |
dev-ml/ocaml-ctypes: amd64 stable wrt bug #607034
Package-Manager: portage-2.3.0
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Diffstat (limited to 'dev-php')
0 files changed, 0 insertions, 0 deletions