| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| agda-bin_2.2.6-1+b1_amd64.deb | 2.7 MiB | 2010-Jan-26 09:32 | |
| agda-bin_2.2.6-1.diff.gz | 2.4 KiB | 2010-Jan-11 17:47 | |
| agda-bin_2.2.6-1.dsc | 1.3 KiB | 2010-Jan-11 17:47 | |
| agda-bin_2.2.6.orig.tar.gz | 1.6 KiB | 2010-Jan-11 17:47 | |
| agda-bin_2.3.0.1-1.diff.gz | 2.9 KiB | 2012-Mar-12 13:47 | |
| agda-bin_2.3.0.1-1.dsc | 1.3 KiB | 2012-Mar-12 13:47 | |
| agda-bin_2.3.0.1-1_amd64.deb | 4.7 MiB | 2012-Mar-12 13:47 | |
| agda-bin_2.3.0.1.orig.tar.gz | 1.7 KiB | 2012-Mar-12 13:47 | |