| ../ |
- |
- |
| agda-bin_2.8.0-2+b1_amd64.deb |
9.8 MB |
2026-02-28 01:02 |
| agda-bin_2.8.0-2+b1_arm64.deb |
9.9 MB |
2026-02-28 01:17 |
| agda-bin_2.8.0-2+b1_i386.deb |
9.7 MB |
2026-02-28 01:02 |
| agda-bin_2.8.0-2+b2_amd64.deb |
9.8 MB |
2026-04-02 17:50 |
| agda-bin_2.8.0-2+b2_arm64.deb |
9.9 MB |
2026-04-02 08:01 |
| agda-bin_2.8.0-2+b2_i386.deb |
9.7 MB |
2026-04-02 08:52 |
| agda-bin_2.8.0-2_amd64.deb |
9.8 MB |
2026-02-15 15:07 |
| agda-bin_2.8.0-2_arm64.deb |
9.9 MB |
2026-02-15 15:07 |
| agda-bin_2.8.0-2_i386.deb |
9.7 MB |
2026-02-15 15:07 |
| agda_2.8.0-2.debian.tar.xz |
10.4 KB |
2026-02-15 14:11 |
| agda_2.8.0-2.dsc |
5.8 KB |
2026-02-15 14:11 |
| agda_2.8.0-2_all.deb |
17.0 KB |
2026-02-15 15:07 |
| agda_2.8.0.orig.tar.gz |
1.9 MB |
2026-02-14 17:37 |
| elpa-agda2-mode_2.8.0-2_all.deb |
56.3 KB |
2026-02-15 15:07 |
| libghc-agda-dev_2.8.0-2+b1_amd64.deb |
35.9 MB |
2026-02-28 01:02 |
| libghc-agda-dev_2.8.0-2+b1_arm64.deb |
38.2 MB |
2026-02-28 01:17 |
| libghc-agda-dev_2.8.0-2+b1_i386.deb |
36.4 MB |
2026-02-28 01:02 |
| libghc-agda-dev_2.8.0-2+b2_amd64.deb |
35.9 MB |
2026-04-02 17:50 |
| libghc-agda-dev_2.8.0-2+b2_arm64.deb |
38.2 MB |
2026-04-02 08:01 |
| libghc-agda-dev_2.8.0-2+b2_i386.deb |
36.4 MB |
2026-04-02 08:52 |
| libghc-agda-dev_2.8.0-2_amd64.deb |
35.9 MB |
2026-02-15 15:07 |
| libghc-agda-dev_2.8.0-2_arm64.deb |
38.2 MB |
2026-02-15 15:07 |
| libghc-agda-dev_2.8.0-2_i386.deb |
36.4 MB |
2026-02-15 15:07 |
| libghc-agda-doc_2.8.0-2_all.deb |
7.2 MB |
2026-02-15 15:07 |