| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| agda-mode_2.6.0.1-1_all.deb | 130816 | 2020-May-12 09:28 |
| agda_2.6.0.1-1_all.deb | 131232 | 2020-May-12 09:28 |
| elpa-agda2-mode_2.6.0.1-1_all.deb | 169048 | 2020-May-12 09:31 |
| libghc-agda-doc_2.6.0.1-1_all.deb | 4342508 | 2020-May-12 09:37 |
| agda-bin_2.6.0.1-1+b2_amd64.deb | 6699900 | 2020-May-12 09:28 |
| libghc-agda-dev_2.6.0.1-1+b2_amd64.deb | 19809632 | 2020-May-12 09:37 |