diff options
author | Raúl Porcel <armin76@gentoo.org> | 2008-10-30 10:23:45 +0000 |
---|---|---|
committer | Raúl Porcel <armin76@gentoo.org> | 2008-10-30 10:23:45 +0000 |
commit | 743f1b0c6c30aa510bd552ac920479294a46835d (patch) | |
tree | 9a594805b32aca84985dcf9a1c33008f9b722112 /sci-mathematics/agda | |
parent | alpha/ia64 stable #244621 (diff) | |
download | gentoo-2-743f1b0c6c30aa510bd552ac920479294a46835d.tar.gz gentoo-2-743f1b0c6c30aa510bd552ac920479294a46835d.tar.bz2 gentoo-2-743f1b0c6c30aa510bd552ac920479294a46835d.zip |
alpha/ia64 stable #244621
(Portage version: 2.2_rc12/cvs/Linux 2.6.25-gentoo-r8 i686)
(Unsigned Manifest commit)
Diffstat (limited to 'sci-mathematics/agda')
0 files changed, 0 insertions, 0 deletions