diff options
| author |   Jeroen Roovers <jer@gentoo.org> | 2012-11-07 02:27:35 +0000 |
|---|---|---|
| committer | Jeroen Roovers <jer@gentoo.org> | 2012-11-07 02:27:35 +0000 |
| commit | 074177a46bb115bf6da8003aa06c9b0c286ead13 (patch) | |
| tree | 9a6062d41f8ae4cd9a9aa3616c33c03ea82479f4 /sci-mathematics/agda-executable | |
| parent | stable ppc ppc64, bug #441184 (diff) | |
| download | gentoo-2-074177a46bb115bf6da8003aa06c9b0c286ead13.tar.gz gentoo-2-074177a46bb115bf6da8003aa06c9b0c286ead13.tar.bz2 gentoo-2-074177a46bb115bf6da8003aa06c9b0c286ead13.zip | |
Marked ~hppa (bug #441688).
(Portage version: 2.2.0_alpha142/cvs/Linux x86_64, signed Manifest commit with key A792A613)
Diffstat (limited to 'sci-mathematics/agda-executable')
0 files changed, 0 insertions, 0 deletions