| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| agda-bin_2.2.10-1~ubuntu1_i386.deb | 4M | 27-Feb-2011 20:05 |
| agda-bin_2.2.10-2_i386.deb | 4M | 10-Jun-2011 11:05 |
| agda-bin_2.2.4-1_i386.deb | 2M | 24-Aug-2009 18:43 |
| agda-bin_2.2.6-1build1_i386.deb | 3M | 03-Feb-2010 15:04 |
| agda-bin_2.3.0.1-1_i386.deb | 4M | 18-Mar-2012 21:33 |