diff options
author | Agostino Sarubbo <ago@gentoo.org> | 2017-07-07 10:05:33 +0200 |
---|---|---|
committer | Agostino Sarubbo <ago@gentoo.org> | 2017-07-07 10:05:33 +0200 |
commit | ab8e0468ec9dc149c4816e0e9ef854f0190e7390 (patch) | |
tree | 4ef8bdba2a7c13ba5ea76e05645d786a2b82607d /metadata | |
parent | dev-python/guessit: amd64 stable wrt bug #623964 (diff) | |
download | gentoo-ab8e0468ec9dc149c4816e0e9ef854f0190e7390.tar.gz gentoo-ab8e0468ec9dc149c4816e0e9ef854f0190e7390.tar.bz2 gentoo-ab8e0468ec9dc149c4816e0e9ef854f0190e7390.zip |
sci-mathematics/coq: amd64 stable wrt bug #619676
Package-Manager: Portage-2.3.6, Repoman-2.3.1
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Diffstat (limited to 'metadata')
0 files changed, 0 insertions, 0 deletions