| ../ |
- |
- |
| agda-bin_2.6.1-1+b2_amd64.deb |
8.5 MB |
2020-08-19 19:59 |
| agda-bin_2.6.1-1+b2_arm64.deb |
9.9 MB |
2020-08-19 21:57 |
| agda-bin_2.6.1-1+b2_i386.deb |
8.6 MB |
2020-08-19 22:58 |
| agda-bin_2.6.2.2-1.1_amd64.deb |
7.4 MB |
2022-12-06 17:57 |
| agda-bin_2.6.2.2-1.1_mips64el.deb |
14.6 MB |
2022-12-06 22:12 |
| agda-bin_2.6.2.2-1.1_ppc64el.deb |
10.1 MB |
2022-12-06 18:28 |
| agda-bin_2.6.2.2-1.1_s390x.deb |
19.3 MB |
2022-12-06 18:38 |
| agda-bin_2.6.4.3-1+b1_armel.deb |
13.3 MB |
2024-10-17 02:06 |
| 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+b2_i386.deb |
14.1 MB |
2025-02-14 10:53 |
| agda-bin_2.6.4.3-1_ppc64el.deb |
9.0 MB |
2024-10-08 11:44 |
| agda-bin_2.6.4.3-1_riscv64.deb |
12.5 MB |
2024-10-09 00:41 |
| agda-bin_2.6.4.3-1_s390x.deb |
18.9 MB |
2024-10-08 11:44 |
| 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+b2_ppc64el.deb |
10.8 MB |
2026-04-02 09:18 |
| agda-bin_2.8.0-2+b2_riscv64.deb |
16.0 MB |
2026-04-15 20:51 |
| agda-bin_2.8.0-2+b2_s390x.deb |
17.7 MB |
2026-04-02 09:28 |
| agda-bin_2.8.0-2+b3_loong64.deb |
16.0 MB |
2026-04-02 11:58 |
| agda_2.6.1-1.debian.tar.xz |
9.8 KB |
2020-07-29 15:40 |
| agda_2.6.1-1.dsc |
4.1 KB |
2020-07-29 15:40 |
| agda_2.6.1-1_all.deb |
28.1 KB |
2020-07-29 16:40 |
| agda_2.6.1.orig.tar.gz |
2.5 MB |
2020-07-29 15:40 |
| agda_2.6.2.2-1.1.debian.tar.xz |
10.2 KB |
2022-12-06 16:40 |
| agda_2.6.2.2-1.1.dsc |
4.3 KB |
2022-12-06 16:40 |
| agda_2.6.2.2-1.1_all.deb |
12.0 KB |
2022-12-06 17:41 |
| agda_2.6.2.2.orig.tar.gz |
1.6 MB |
2022-08-06 17:04 |
| 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 |
| 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.6.1-1_all.deb |
65.2 KB |
2020-07-29 16:40 |
| 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 |
| elpa-agda2-mode_2.8.0-2_all.deb |
56.3 KB |
2026-02-15 15:07 |
| libghc-agda-dev_2.6.1-1+b2_amd64.deb |
36.2 MB |
2020-08-19 19:59 |
| libghc-agda-dev_2.6.1-1+b2_arm64.deb |
42.7 MB |
2020-08-19 21:57 |
| libghc-agda-dev_2.6.1-1+b2_i386.deb |
36.3 MB |
2020-08-19 22:58 |
| libghc-agda-dev_2.6.2.2-1.1_amd64.deb |
23.7 MB |
2022-12-06 17:57 |
| libghc-agda-dev_2.6.2.2-1.1_mips64el.deb |
34.8 MB |
2022-12-06 22:12 |
| libghc-agda-dev_2.6.2.2-1.1_ppc64el.deb |
34.5 MB |
2022-12-06 18:28 |
| libghc-agda-dev_2.6.2.2-1.1_s390x.deb |
37.7 MB |
2022-12-06 18:38 |
| libghc-agda-dev_2.6.4.3-1+b1_armel.deb |
29.8 MB |
2024-10-17 02:06 |
| 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+b2_i386.deb |
35.6 MB |
2025-02-14 10:53 |
| libghc-agda-dev_2.6.4.3-1_ppc64el.deb |
29.1 MB |
2024-10-08 11:44 |
| libghc-agda-dev_2.6.4.3-1_riscv64.deb |
39.7 MB |
2024-10-09 00:41 |
| libghc-agda-dev_2.6.4.3-1_s390x.deb |
38.6 MB |
2024-10-08 11:44 |
| 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+b2_ppc64el.deb |
46.4 MB |
2026-04-02 09:18 |
| libghc-agda-dev_2.8.0-2+b2_riscv64.deb |
66.1 MB |
2026-04-15 20:51 |
| libghc-agda-dev_2.8.0-2+b2_s390x.deb |
53.8 MB |
2026-04-02 09:28 |
| libghc-agda-dev_2.8.0-2+b3_loong64.deb |
47.7 MB |
2026-04-02 11:58 |
| libghc-agda-doc_2.6.1-1_all.deb |
5.5 MB |
2020-07-29 16:40 |
| 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 |
| libghc-agda-doc_2.8.0-2_all.deb |
7.2 MB |
2026-02-15 15:07 |