| Parent directory/ | - | - |
| agda-bin_2.6.1-1build2.1_amd64.deb | 9541384 | 2021-Sep-16 08:28 |
| libghc-agda-dev_2.6.1-1build2.1_amd64.deb | 40255774 | 2021-Sep-16 08:28 |
| agda_2.6.1-1build2.1_all.deb | 4134 | 2021-Sep-16 08:28 |
| elpa-agda2-mode_2.6.1-1build2.1_all.deb | 46174 | 2021-Sep-16 08:28 |
| libghc-agda-doc_2.6.1-1build2.1_all.deb | 5403312 | 2021-Sep-16 08:28 |
| agda-bin_2.6.3-1build1_amd64.deb | 10985550 | 2023-Nov-10 20:19 |
| elpa-agda2-mode_2.6.3-1build1_all.deb | 46250 | 2023-Nov-10 20:19 |
| agda_2.6.3-1build1_all.deb | 3758 | 2023-Nov-10 20:19 |
| libghc-agda-dev_2.6.3-1build1_amd64.deb | 25485196 | 2023-Nov-10 20:19 |
| libghc-agda-doc_2.6.3-1build1_all.deb | 6288876 | 2023-Nov-10 20:19 |