| Parent Directory | | | Directory |
| agda-bin_2.2.10-1~ubuntu1.diff.gz | 2011-Feb-27 15:04:53 | 2.8K | application/x-gzip |
| agda-bin_2.2.10-1~ubuntu1.dsc | 2011-Feb-27 15:04:53 | 2K | application/octet-stream |
| agda-bin_2.2.10-1~ubuntu1_amd64.deb | 2011-Feb-27 15:05:04 | 3.9M | application/octet-stream |
| agda-bin_2.2.10-1~ubuntu1_i386.deb | 2011-Feb-27 15:05:06 | 3.7M | application/octet-stream |
| agda-bin_2.2.10-2.diff.gz | 2011-Jun-10 07:05:24 | 2.8K | application/x-gzip |
| agda-bin_2.2.10-2.dsc | 2011-Jun-10 07:05:24 | 1.9K | application/octet-stream |
| agda-bin_2.2.10-2_amd64.deb | 2011-Jun-10 07:05:29 | 4M | application/octet-stream |
| agda-bin_2.2.10-2_i386.deb | 2011-Jun-10 07:05:44 | 3.8M | application/octet-stream |
| agda-bin_2.2.10.orig.tar.gz | 2011-Feb-27 15:04:53 | 1.7K | application/x-gzip |
| agda-bin_2.2.6-1build1.diff.gz | 2010-Feb-03 10:04:41 | 2.4K | application/x-gzip |
| agda-bin_2.2.6-1build1.dsc | 2010-Feb-03 10:04:41 | 1.3K | application/octet-stream |
| agda-bin_2.2.6-1build1_amd64.deb | 2010-Feb-03 10:04:42 | 2.7M | application/octet-stream |
| agda-bin_2.2.6-1build1_i386.deb | 2010-Feb-03 10:04:43 | 2.6M | application/octet-stream |
| agda-bin_2.2.6.orig.tar.gz | 2010-Jan-22 06:08:38 | 1.6K | application/x-gzip |
| agda-bin_2.3.0.1-1.diff.gz | 2012-Mar-18 17:33:45 | 2.9K | application/x-gzip |
| agda-bin_2.3.0.1-1.dsc | 2012-Mar-18 17:33:45 | 1.3K | application/octet-stream |
| agda-bin_2.3.0.1-1_amd64.deb | 2012-Mar-18 18:33:55 | 4.7M | application/octet-stream |
| agda-bin_2.3.0.1-1_i386.deb | 2012-Mar-18 17:33:50 | 4.4M | application/octet-stream |
| agda-bin_2.3.0.1.orig.tar.gz | 2012-Mar-18 17:33:45 | 1.7K | application/x-gzip |