| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| agda-bin_2.2.6-1+b1_mips.deb | 6M | 14-Mar-2010 15:32 |
| agda-bin_2.2.6-1+b1_sparc.deb | 4M | 04-Feb-2010 11:02 |
| agda-bin_2.3.0.1-1_armel.deb | 7M | 25-Mar-2012 22:47 |
| agda-bin_2.3.0.1-1_armhf.deb | 7M | 27-Mar-2012 04:47 |
| agda-bin_2.3.0.1-1_s390x.deb | 15M | 13-Mar-2012 01:47 |