Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
agda-stdlib_0.3-3.dsc | 2010-03-03 12:32 | 1.2K | |
agda-stdlib_0.3-3.diff.gz | 2010-03-03 12:32 | 3.7K | |
agda-stdlib_0.3.orig.tar.gz | 2010-02-05 18:17 | 147K | |
agda-stdlib-doc_0.3-3_all.deb | 2010-03-03 12:32 | 1.1M | |
agda-stdlib_0.3-3_kfreebsd-i386.deb | 2010-03-03 16:32 | 11M | |
agda-stdlib_0.3-3_i386.deb | 2010-03-03 18:17 | 12M | |
agda-stdlib_0.3-3_powerpc.deb | 2010-03-04 01:17 | 12M | |
agda-stdlib_0.3-3_sparc.deb | 2010-03-13 01:17 | 12M | |
agda-stdlib_0.3-3_amd64.deb | 2010-03-03 12:32 | 12M | |