| Parent directory/ | - | - |
| agda-bin_2.3.2.2-1_amd64.deb | 3M | 15-Sep-2017 06:51 |
| agda-bin_2.5.1-2_amd64.deb | 5M | 15-Aug-2017 18:34 |
| agda-bin_2.5.1-2_i386.deb | 5M | 02-Sep-2017 03:22 |
| agda-bin_2.5.3-3+b2_amd64.deb | 6M | 25-Nov-2017 04:59 |
| agda-mode_2.3.2.2-1_all.deb | 46K | 15-Sep-2017 06:51 |
| agda-mode_2.5.1-2_all.deb | 78K | 15-Aug-2017 18:34 |
| agda-mode_2.5.3-3_all.deb | 103K | 20-Oct-2017 22:56 |
| agda_2.3.2.2-1_all.deb | 17K | 15-Sep-2017 06:51 |
| agda_2.5.1-2_all.deb | 78K | 15-Aug-2017 18:34 |
| agda_2.5.3-3.debian.tar.xz | 9744 | 14-Oct-2017 02:57 |
| agda_2.5.3-3.dsc | 4580 | 14-Oct-2017 02:57 |
| agda_2.5.3-3_all.deb | 104K | 20-Oct-2017 22:56 |
| agda_2.5.3.orig.tar.gz | 1M | 13-Oct-2017 15:59 |
| elpa-agda2-mode_2.5.1-2_all.deb | 112K | 15-Aug-2017 21:47 |
| elpa-agda2-mode_2.5.3-3_all.deb | 140K | 20-Oct-2017 22:56 |
| libghc-agda-dev_2.3.2.2-1_amd64.deb | 8M | 16-Sep-2017 16:43 |
| libghc-agda-dev_2.5.1-2_amd64.deb | 12M | 17-Aug-2017 04:03 |
| libghc-agda-dev_2.5.1-2_i386.deb | 11M | 02-Sep-2017 22:04 |
| libghc-agda-dev_2.5.3-3+b2_amd64.deb | 15M | 25-Nov-2017 04:59 |
| libghc-agda-doc_2.3.2.2-1_all.deb | 1M | 16-Sep-2017 16:43 |
| libghc-agda-doc_2.5.1-2_all.deb | 2M | 17-Aug-2017 04:03 |
| libghc-agda-doc_2.5.3-3_all.deb | 3M | 20-Oct-2017 22:56 |