| Parent directory/ | - | - |
| agda-bin_2.5.4.1-3+b1_amd64.deb | 5868440 | 2022-Apr-11 03:38 |
| agda-bin_2.5.4.1-3+b1_i386.deb | 5946324 | 2022-Apr-11 03:00 |
| agda-mode_2.5.4.1-3_all.deb | 117680 | 2022-Apr-11 03:27 |
| agda_2.5.4.1-3.debian.tar.xz | 9928 | 2022-Apr-11 03:17 |
| agda_2.5.4.1-3.dsc | 3870 | 2022-Apr-11 03:17 |
| agda_2.5.4.1-3_all.deb | 118104 | 2022-Apr-11 02:58 |
| agda_2.5.4.1.orig.tar.gz | 1989201 | 2022-Apr-11 03:17 |
| elpa-agda2-mode_2.5.4.1-3_all.deb | 155444 | 2022-Apr-11 03:04 |
| libghc-agda-dev_2.5.4.1-3+b1_amd64.deb | 17170668 | 2022-Apr-11 03:15 |
| libghc-agda-dev_2.5.4.1-3+b1_i386.deb | 16797896 | 2022-Apr-11 03:18 |
| libghc-agda-doc_2.5.4.1-3_all.deb | 3790832 | 2022-Apr-11 03:33 |