| ../ | | - | Directory |
| agda-bin_2.2.10-2.diff.gz | 2011-Jun-10 13:05:24 | 2.8K | application/gzip |
| agda-bin_2.2.10-2.dsc | 2011-Jun-10 13:05:24 | 1.9K | application/octet-stream |
| agda-bin_2.2.10-2_amd64.deb | 2011-Jun-10 13:05:29 | 4.0M | application/vnd.debian.binary-package |
| agda-bin_2.2.10-2_i386.deb | 2011-Jun-10 13:05:44 | 3.7M | application/vnd.debian.binary-package |
| agda-bin_2.2.10.orig.tar.gz | 2011-Feb-27 21:04:53 | 1.7K | application/gzip |
| agda-bin_2.2.6-1build1.diff.gz | 2010-Feb-03 16:04:41 | 2.4K | application/gzip |
| agda-bin_2.2.6-1build1.dsc | 2010-Feb-03 16:04:41 | 1.3K | application/octet-stream |
| agda-bin_2.2.6-1build1_amd64.deb | 2010-Feb-03 16:04:42 | 2.7M | application/vnd.debian.binary-package |
| agda-bin_2.2.6-1build1_i386.deb | 2010-Feb-03 16:04:43 | 2.5M | application/vnd.debian.binary-package |
| agda-bin_2.2.6.orig.tar.gz | 2010-Jan-22 12:08:38 | 1.6K | application/gzip |
| agda-bin_2.3.0.1-1.diff.gz | 2012-Mar-18 22:33:45 | 2.9K | application/gzip |
| agda-bin_2.3.0.1-1.dsc | 2012-Mar-18 22:33:45 | 1.3K | application/octet-stream |
| agda-bin_2.3.0.1-1_amd64.deb | 2012-Mar-18 23:33:55 | 4.6M | application/vnd.debian.binary-package |
| agda-bin_2.3.0.1-1_i386.deb | 2012-Mar-18 22:33:50 | 4.3M | application/vnd.debian.binary-package |
| agda-bin_2.3.0.1.orig.tar.gz | 2012-Mar-18 22:33:45 | 1.7K | application/gzip |