Download Latest Version
Agda-1.0.2a-latin1.tar.gz (513.8 kB)
Get an email when there's a new version of Agda 1
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| Agda-1.0.2a-latin1.tar.gz | 2008-04-23 | 513.8 kB | |
| Agda-1.0.2a.tar.gz | 2008-04-23 | 513.6 kB | |
| Agda-1.0.2-i386-unknown-linux.tgz | 2007-02-09 | 3.4 MB | |
| Agda-1.0.2-macosx-ppc.dmg | 2007-02-06 | 9.0 MB | |
| Agda-1.0.2-macosx-x86.dmg | 2007-02-06 | 8.1 MB | |
| Agda_1_0_2.exe | 2007-01-30 | 15.1 MB | |
| Agda-1.0.2.tar.gz | 2007-01-30 | 505.6 kB | |
| Agda-1.0.2-latin1.tar.gz | 2007-01-30 | 505.4 kB | |
| Totals: 8 Items | 37.7 MB | 0 | |