|
📁 ../
|
- |
- |
|
📄 agda-bin_2.6.1-1+b2_amd64.deb
|
8910056 bytes
|
2020-08-19 22:59:36 |
|
📄 agda-bin_2.6.1-1+b2_arm64.deb
|
10374216 bytes
|
2020-08-20 00:57:18 |
|
📄 agda-bin_2.6.1-1+b2_i386.deb
|
8967940 bytes
|
2020-08-20 01:58:58 |
|
📄 agda-bin_2.6.2.2-1.1_amd64.deb
|
7751992 bytes
|
2022-12-06 20:57:33 |
|
📄 agda-bin_2.6.2.2-1.1_mips64el.deb
|
15291932 bytes
|
2022-12-07 01:12:35 |
|
📄 agda-bin_2.6.2.2-1.1_ppc64el.deb
|
10606748 bytes
|
2022-12-06 21:28:02 |
|
📄 agda-bin_2.6.2.2-1.1_s390x.deb
|
20207572 bytes
|
2022-12-06 21:38:05 |
|
📄 agda-bin_2.6.4.3-1+b1_armel.deb
|
13978264 bytes
|
2024-10-17 05:06:51 |
|
📄 agda-bin_2.6.4.3-1+b2_amd64.deb
|
9846396 bytes
|
2025-02-02 01:54:53 |
|
📄 agda-bin_2.6.4.3-1+b2_arm64.deb
|
9868676 bytes
|
2025-02-14 15:31:07 |
|
📄 agda-bin_2.6.4.3-1+b2_i386.deb
|
14756624 bytes
|
2025-02-14 13:53:31 |
|
📄 agda-bin_2.6.4.3-1_ppc64el.deb
|
9460608 bytes
|
2024-10-08 14:44:47 |
|
📄 agda-bin_2.6.4.3-1_riscv64.deb
|
13093504 bytes
|
2024-10-09 03:41:36 |
|
📄 agda-bin_2.6.4.3-1_s390x.deb
|
19773020 bytes
|
2024-10-08 14:44:37 |
|
📄 agda_2.6.1-1.debian.tar.xz
|
10060 bytes
|
2020-07-29 18:40:18 |
|
📄 agda_2.6.1-1.dsc
|
4186 bytes
|
2020-07-29 18:40:18 |
|
📄 agda_2.6.1-1_all.deb
|
28736 bytes
|
2020-07-29 19:40:53 |
|
📄 agda_2.6.1.orig.tar.gz
|
2646289 bytes
|
2020-07-29 18:40:18 |
|
📄 agda_2.6.2.2-1.1.debian.tar.xz
|
10496 bytes
|
2022-12-06 19:40:51 |
|
📄 agda_2.6.2.2-1.1.dsc
|
4426 bytes
|
2022-12-06 19:40:51 |
|
📄 agda_2.6.2.2-1.1_all.deb
|
12304 bytes
|
2022-12-06 20:41:56 |
|
📄 agda_2.6.2.2.orig.tar.gz
|
1690635 bytes
|
2022-08-06 20:04:45 |
|
📄 agda_2.6.4.3-1.debian.tar.xz
|
10460 bytes
|
2024-10-08 13:41:50 |
|
📄 agda_2.6.4.3-1.dsc
|
5197 bytes
|
2024-10-08 13:41:50 |
|
📄 agda_2.6.4.3-1_all.deb
|
12148 bytes
|
2024-10-08 14:23:12 |
|
📄 agda_2.6.4.3.orig.tar.gz
|
1869461 bytes
|
2024-10-08 13:41:50 |
|
📄 elpa-agda2-mode_2.6.1-1_all.deb
|
66816 bytes
|
2020-07-29 19:40:53 |
|
📄 elpa-agda2-mode_2.6.2.2-1.1_all.deb
|
50944 bytes
|
2022-12-06 20:41:56 |
|
📄 elpa-agda2-mode_2.6.4.3-1_all.deb
|
51316 bytes
|
2024-10-08 14:23:12 |
|
📄 libghc-agda-dev_2.6.1-1+b2_amd64.deb
|
37948252 bytes
|
2020-08-19 22:59:36 |
|
📄 libghc-agda-dev_2.6.1-1+b2_arm64.deb
|
44818592 bytes
|
2020-08-20 00:57:18 |
|
📄 libghc-agda-dev_2.6.1-1+b2_i386.deb
|
38089964 bytes
|
2020-08-20 01:58:58 |
|
📄 libghc-agda-dev_2.6.2.2-1.1_amd64.deb
|
24853036 bytes
|
2022-12-06 20:57:33 |
|
📄 libghc-agda-dev_2.6.2.2-1.1_mips64el.deb
|
36477468 bytes
|
2022-12-07 01:12:36 |
|
📄 libghc-agda-dev_2.6.2.2-1.1_ppc64el.deb
|
36209704 bytes
|
2022-12-06 21:28:02 |
|
📄 libghc-agda-dev_2.6.2.2-1.1_s390x.deb
|
39573044 bytes
|
2022-12-06 21:38:05 |
|
📄 libghc-agda-dev_2.6.4.3-1+b1_armel.deb
|
31201068 bytes
|
2024-10-17 05:06:51 |
|
📄 libghc-agda-dev_2.6.4.3-1+b2_amd64.deb
|
22821040 bytes
|
2025-02-02 01:54:53 |
|
📄 libghc-agda-dev_2.6.4.3-1+b2_arm64.deb
|
24469636 bytes
|
2025-02-14 15:31:07 |
|
📄 libghc-agda-dev_2.6.4.3-1+b2_i386.deb
|
37341944 bytes
|
2025-02-14 13:53:31 |
|
📄 libghc-agda-dev_2.6.4.3-1_ppc64el.deb
|
30488068 bytes
|
2024-10-08 14:44:47 |
|
📄 libghc-agda-dev_2.6.4.3-1_riscv64.deb
|
41660392 bytes
|
2024-10-09 03:41:36 |
|
📄 libghc-agda-dev_2.6.4.3-1_s390x.deb
|
40484108 bytes
|
2024-10-08 14:44:37 |
|
📄 libghc-agda-doc_2.6.1-1_all.deb
|
5799636 bytes
|
2020-07-29 19:40:53 |
|
📄 libghc-agda-doc_2.6.2.2-1.1_all.deb
|
6599972 bytes
|
2022-12-06 20:41:56 |
|
📄 libghc-agda-doc_2.6.4.3-1_all.deb
|
7489680 bytes
|
2024-10-08 14:23:12 |