|
📁 ../
|
- |
- |
|
📄 agda-bin_2.6.1-1+b2_amd64.deb
|
8910056 bytes
|
2020-08-19 19:59:36 |
|
📄 agda-bin_2.6.1-1+b2_arm64.deb
|
10374216 bytes
|
2020-08-19 21:57:18 |
|
📄 agda-bin_2.6.1-1+b2_i386.deb
|
8967940 bytes
|
2020-08-19 22:58:58 |
|
📄 agda-bin_2.6.2.2-1.1_amd64.deb
|
7751992 bytes
|
2022-12-06 17:57:33 |
|
📄 agda-bin_2.6.2.2-1.1_mips64el.deb
|
15291932 bytes
|
2022-12-06 22:12:35 |
|
📄 agda-bin_2.6.2.2-1.1_ppc64el.deb
|
10606748 bytes
|
2022-12-06 18:28:02 |
|
📄 agda-bin_2.6.2.2-1.1_s390x.deb
|
20207572 bytes
|
2022-12-06 18:38:05 |
|
📄 agda-bin_2.6.4.3-1+b1_armel.deb
|
13978264 bytes
|
2024-10-17 02:06:51 |
|
📄 agda-bin_2.6.4.3-1+b2_amd64.deb
|
9846396 bytes
|
2025-02-01 22:54:53 |
|
📄 agda-bin_2.6.4.3-1+b2_arm64.deb
|
9868676 bytes
|
2025-02-14 12:31:07 |
|
📄 agda-bin_2.6.4.3-1+b2_i386.deb
|
14756624 bytes
|
2025-02-14 10:53:31 |
|
📄 agda-bin_2.6.4.3-1_ppc64el.deb
|
9460608 bytes
|
2024-10-08 11:44:47 |
|
📄 agda-bin_2.6.4.3-1_riscv64.deb
|
13093504 bytes
|
2024-10-09 00:41:36 |
|
📄 agda-bin_2.6.4.3-1_s390x.deb
|
19773020 bytes
|
2024-10-08 11:44:37 |
|
📄 agda-bin_2.8.0-1_amd64.deb
|
10284368 bytes
|
2026-02-14 20:50:58 |
|
📄 agda-bin_2.8.0-1_arm64.deb
|
10340792 bytes
|
2026-02-14 18:23:03 |
|
📄 agda-bin_2.8.0-1_i386.deb
|
10170104 bytes
|
2026-02-15 00:51:39 |
|
📄 agda-bin_2.8.0-1_loong64.deb
|
19903244 bytes
|
2026-02-15 00:16:10 |
|
📄 agda-bin_2.8.0-1_ppc64el.deb
|
11392248 bytes
|
2026-02-15 00:21:14 |
|
📄 agda-bin_2.8.0-1_s390x.deb
|
18529112 bytes
|
2026-02-14 22:12:54 |
|
📄 agda-bin_2.8.0-2_amd64.deb
|
10284660 bytes
|
2026-02-15 15:07:45 |
|
📄 agda-bin_2.8.0-2_arm64.deb
|
10340220 bytes
|
2026-02-15 15:07:41 |
|
📄 agda-bin_2.8.0-2_i386.deb
|
10169916 bytes
|
2026-02-15 15:07:32 |
|
📄 agda-bin_2.8.0-2_loong64.deb
|
19903616 bytes
|
2026-02-15 20:07:22 |
|
📄 agda-bin_2.8.0-2_ppc64el.deb
|
11391968 bytes
|
2026-02-15 15:33:08 |
|
📄 agda-bin_2.8.0-2_s390x.deb
|
18532024 bytes
|
2026-02-15 18:10:15 |
|
📄 agda_2.6.1-1.debian.tar.xz
|
10060 bytes
|
2020-07-29 15:40:18 |
|
📄 agda_2.6.1-1.dsc
|
4186 bytes
|
2020-07-29 15:40:18 |
|
📄 agda_2.6.1-1_all.deb
|
28736 bytes
|
2020-07-29 16:40:53 |
|
📄 agda_2.6.1.orig.tar.gz
|
2646289 bytes
|
2020-07-29 15:40:18 |
|
📄 agda_2.6.2.2-1.1.debian.tar.xz
|
10496 bytes
|
2022-12-06 16:40:51 |
|
📄 agda_2.6.2.2-1.1.dsc
|
4426 bytes
|
2022-12-06 16:40:51 |
|
📄 agda_2.6.2.2-1.1_all.deb
|
12304 bytes
|
2022-12-06 17:41:56 |
|
📄 agda_2.6.2.2.orig.tar.gz
|
1690635 bytes
|
2022-08-06 17:04:45 |
|
📄 agda_2.6.4.3-1.debian.tar.xz
|
10460 bytes
|
2024-10-08 10:41:50 |
|
📄 agda_2.6.4.3-1.dsc
|
5197 bytes
|
2024-10-08 10:41:50 |
|
📄 agda_2.6.4.3-1_all.deb
|
12148 bytes
|
2024-10-08 11:23:12 |
|
📄 agda_2.6.4.3.orig.tar.gz
|
1869461 bytes
|
2024-10-08 10:41:50 |
|
📄 agda_2.8.0-1.debian.tar.xz
|
10572 bytes
|
2026-02-14 17:37:01 |
|
📄 agda_2.8.0-1.dsc
|
5931 bytes
|
2026-02-14 17:37:01 |
|
📄 agda_2.8.0-1_all.deb
|
17336 bytes
|
2026-02-14 19:08:43 |
|
📄 agda_2.8.0-2.debian.tar.xz
|
10632 bytes
|
2026-02-15 14:11:42 |
|
📄 agda_2.8.0-2.dsc
|
5939 bytes
|
2026-02-15 14:11:42 |
|
📄 agda_2.8.0-2_all.deb
|
17396 bytes
|
2026-02-15 15:07:40 |
|
📄 agda_2.8.0.orig.tar.gz
|
1951997 bytes
|
2026-02-14 17:37:01 |
|
📄 elpa-agda2-mode_2.6.1-1_all.deb
|
66816 bytes
|
2020-07-29 16:40:53 |
|
📄 elpa-agda2-mode_2.6.2.2-1.1_all.deb
|
50944 bytes
|
2022-12-06 17:41:56 |
|
📄 elpa-agda2-mode_2.6.4.3-1_all.deb
|
51316 bytes
|
2024-10-08 11:23:12 |
|
📄 elpa-agda2-mode_2.8.0-1_all.deb
|
57576 bytes
|
2026-02-14 19:08:43 |
|
📄 elpa-agda2-mode_2.8.0-2_all.deb
|
57648 bytes
|
2026-02-15 15:07:40 |
|
📄 libghc-agda-dev_2.6.1-1+b2_amd64.deb
|
37948252 bytes
|
2020-08-19 19:59:36 |
|
📄 libghc-agda-dev_2.6.1-1+b2_arm64.deb
|
44818592 bytes
|
2020-08-19 21:57:18 |
|
📄 libghc-agda-dev_2.6.1-1+b2_i386.deb
|
38089964 bytes
|
2020-08-19 22:58:58 |
|
📄 libghc-agda-dev_2.6.2.2-1.1_amd64.deb
|
24853036 bytes
|
2022-12-06 17:57:33 |
|
📄 libghc-agda-dev_2.6.2.2-1.1_mips64el.deb
|
36477468 bytes
|
2022-12-06 22:12:36 |
|
📄 libghc-agda-dev_2.6.2.2-1.1_ppc64el.deb
|
36209704 bytes
|
2022-12-06 18:28:02 |
|
📄 libghc-agda-dev_2.6.2.2-1.1_s390x.deb
|
39573044 bytes
|
2022-12-06 18:38:05 |
|
📄 libghc-agda-dev_2.6.4.3-1+b1_armel.deb
|
31201068 bytes
|
2024-10-17 02:06:51 |
|
📄 libghc-agda-dev_2.6.4.3-1+b2_amd64.deb
|
22821040 bytes
|
2025-02-01 22:54:53 |
|
📄 libghc-agda-dev_2.6.4.3-1+b2_arm64.deb
|
24469636 bytes
|
2025-02-14 12:31:07 |
|
📄 libghc-agda-dev_2.6.4.3-1+b2_i386.deb
|
37341944 bytes
|
2025-02-14 10:53:31 |
|
📄 libghc-agda-dev_2.6.4.3-1_ppc64el.deb
|
30488068 bytes
|
2024-10-08 11:44:47 |
|
📄 libghc-agda-dev_2.6.4.3-1_riscv64.deb
|
41660392 bytes
|
2024-10-09 00:41:36 |
|
📄 libghc-agda-dev_2.6.4.3-1_s390x.deb
|
40484108 bytes
|
2024-10-08 11:44:37 |
|
📄 libghc-agda-dev_2.8.0-1_amd64.deb
|
37480828 bytes
|
2026-02-14 20:50:58 |
|
📄 libghc-agda-dev_2.8.0-1_arm64.deb
|
39886388 bytes
|
2026-02-14 18:23:03 |
|
📄 libghc-agda-dev_2.8.0-1_i386.deb
|
37991296 bytes
|
2026-02-15 00:51:39 |
|
📄 libghc-agda-dev_2.8.0-1_loong64.deb
|
67851328 bytes
|
2026-02-15 00:16:11 |
|
📄 libghc-agda-dev_2.8.0-1_ppc64el.deb
|
48600748 bytes
|
2026-02-15 00:21:14 |
|
📄 libghc-agda-dev_2.8.0-1_s390x.deb
|
56165704 bytes
|
2026-02-14 22:12:54 |
|
📄 libghc-agda-dev_2.8.0-2_amd64.deb
|
37667968 bytes
|
2026-02-15 15:07:45 |
|
📄 libghc-agda-dev_2.8.0-2_arm64.deb
|
40067720 bytes
|
2026-02-15 15:07:41 |
|
📄 libghc-agda-dev_2.8.0-2_i386.deb
|
38170376 bytes
|
2026-02-15 15:07:32 |
|
📄 libghc-agda-dev_2.8.0-2_loong64.deb
|
68029168 bytes
|
2026-02-15 20:07:22 |
|
📄 libghc-agda-dev_2.8.0-2_ppc64el.deb
|
48779076 bytes
|
2026-02-15 15:33:08 |
|
📄 libghc-agda-dev_2.8.0-2_s390x.deb
|
56343712 bytes
|
2026-02-15 18:10:15 |
|
📄 libghc-agda-doc_2.6.1-1_all.deb
|
5799636 bytes
|
2020-07-29 16:40:53 |
|
📄 libghc-agda-doc_2.6.2.2-1.1_all.deb
|
6599972 bytes
|
2022-12-06 17:41:56 |
|
📄 libghc-agda-doc_2.6.4.3-1_all.deb
|
7489680 bytes
|
2024-10-08 11:23:12 |
|
📄 libghc-agda-doc_2.8.0-1_all.deb
|
7585832 bytes
|
2026-02-14 19:08:43 |
|
📄 libghc-agda-doc_2.8.0-2_all.deb
|
7585956 bytes
|
2026-02-15 15:07:40 |