| ../ |
- |
- |
| .~tmp~/ |
- |
2026-05-17 07:35 |
| agda-bin_2.6.2.2-1.1_amd64.deb |
7.4 MB |
2022-12-06 17:57 |
| agda-bin_2.6.4.3-1+b2_amd64.deb |
9.4 MB |
2025-02-01 22:54 |
| agda-bin_2.6.4.3-1+b2_arm64.deb |
9.4 MB |
2025-02-14 12:31 |
| agda-bin_2.6.4.3-1_riscv64.deb |
12.5 MB |
2024-10-09 00:41 |
| agda_2.6.2.2-1.1_all.deb |
12.0 KB |
2022-12-06 17:41 |
| agda_2.6.4.3-1.debian.tar.xz |
10.2 KB |
2024-10-08 10:41 |
| agda_2.6.4.3-1.dsc |
5.1 KB |
2024-10-08 10:41 |
| agda_2.6.4.3-1_all.deb |
11.9 KB |
2024-10-08 11:23 |
| agda_2.6.4.3.orig.tar.gz |
1.8 MB |
2024-10-08 10:41 |
| elpa-agda2-mode_2.6.2.2-1.1_all.deb |
49.8 KB |
2022-12-06 17:41 |
| elpa-agda2-mode_2.6.4.3-1_all.deb |
50.1 KB |
2024-10-08 11:23 |
| libghc-agda-dev_2.6.2.2-1.1_amd64.deb |
23.7 MB |
2022-12-06 17:57 |
| libghc-agda-dev_2.6.4.3-1+b2_amd64.deb |
21.8 MB |
2025-02-01 22:54 |
| libghc-agda-dev_2.6.4.3-1+b2_arm64.deb |
23.3 MB |
2025-02-14 12:31 |
| libghc-agda-dev_2.6.4.3-1_riscv64.deb |
39.7 MB |
2024-10-09 00:41 |
| libghc-agda-doc_2.6.2.2-1.1_all.deb |
6.3 MB |
2022-12-06 17:41 |
| libghc-agda-doc_2.6.4.3-1_all.deb |
7.1 MB |
2024-10-08 11:23 |