diff options
| author |   Pacho Ramos <pacho@gentoo.org> | 2010-07-31 18:35:56 +0000 |
|---|---|---|
| committer | Pacho Ramos <pacho@gentoo.org> | 2010-07-31 18:35:56 +0000 |
| commit | 6859847ce7ade378f82369d67d99acee2afd0ca0 (patch) | |
| tree | 048f9f8c3cfd794a1b8d7cdeea1334e22de4c481 /sci-mathematics/agda | |
| parent | amd64 stable, bug 324077 (diff) | |
| download | gentoo-2-6859847ce7ade378f82369d67d99acee2afd0ca0.tar.gz gentoo-2-6859847ce7ade378f82369d67d99acee2afd0ca0.tar.bz2 gentoo-2-6859847ce7ade378f82369d67d99acee2afd0ca0.zip | |
amd64 stable, bug 324077
(Portage version: 2.1.8.3/cvs/Linux x86_64)
(Signed Manifest commit)
Diffstat (limited to 'sci-mathematics/agda')
0 files changed, 0 insertions, 0 deletions