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