|
📁 ../
|
- |
- |
|
📄 agda-bin_2.3.2.2-1_powerpc.deb
|
5348898 bytes
|
2013-11-06 17:29:02 |
|
📄 agda-bin_2.4.2.5-1build1_arm64.deb
|
7958098 bytes
|
2016-01-13 00:25:57 |
|
📄 agda-bin_2.4.2.5-1build1_armhf.deb
|
6305750 bytes
|
2017-06-21 18:09:27 |
|
📄 agda-bin_2.4.2.5-1build1_powerpc.deb
|
4295994 bytes
|
2016-01-12 22:59:20 |
|
📄 agda-bin_2.4.2.5-1build1_ppc64el.deb
|
6736196 bytes
|
2016-01-12 23:15:05 |
|
📄 agda-bin_2.4.2.5-1build1_s390x.deb
|
11729594 bytes
|
2016-01-12 22:59:39 |
|
📄 agda-bin_2.5.3-3build1_arm64.deb
|
9094760 bytes
|
2017-11-25 22:59:43 |
|
📄 agda-bin_2.5.3-3build1_armhf.deb
|
7330384 bytes
|
2017-11-25 22:59:45 |
|
📄 agda-bin_2.5.3-3build1_ppc64el.deb
|
6724416 bytes
|
2017-11-25 20:10:00 |
|
📄 agda-bin_2.5.3-3build1_s390x.deb
|
13290000 bytes
|
2017-11-25 20:10:05 |
|
📄 agda-bin_2.6.0.1-1build4_arm64.deb
|
7790996 bytes
|
2020-02-08 14:53:21 |
|
📄 agda-bin_2.6.0.1-1build4_ppc64el.deb
|
9143648 bytes
|
2020-02-08 12:35:25 |
|
📄 agda-bin_2.6.0.1-1build4_riscv64.deb
|
18143148 bytes
|
2020-04-10 17:03:19 |
|
📄 agda-bin_2.6.0.1-1build4_s390x.deb
|
15471300 bytes
|
2020-02-08 13:07:59 |
|
📄 agda-bin_2.6.1-1build2.1_ppc64el.deb
|
14379838 bytes
|
2021-09-16 08:43:50 |
|
📄 agda-bin_2.6.1-1build2.1_riscv64.deb
|
15767852 bytes
|
2021-09-17 21:33:53 |
|
📄 agda-bin_2.6.1-1build2.1_s390x.deb
|
29791124 bytes
|
2021-09-16 08:58:50 |
|
📄 agda-bin_2.6.3-1build1_arm64.deb
|
11677582 bytes
|
2023-11-11 00:55:23 |
|
📄 agda-bin_2.6.3-1build1_ppc64el.deb
|
13344166 bytes
|
2023-11-10 21:14:20 |
|
📄 agda-bin_2.6.3-1build1_riscv64.deb
|
12762330 bytes
|
2023-11-11 17:09:17 |
|
📄 agda-bin_2.6.3-1build1_s390x.deb
|
17356626 bytes
|
2023-11-10 21:14:22 |
|
📄 agda-bin_2.6.4.3-1_arm64.deb
|
11161542 bytes
|
2024-10-25 21:15:07 |
|
📄 agda-bin_2.6.4.3-1_ppc64el.deb
|
10768050 bytes
|
2024-10-25 21:15:08 |
|
📄 agda-bin_2.6.4.3-1_riscv64.deb
|
14492774 bytes
|
2024-10-26 08:11:20 |
|
📄 agda-bin_2.6.4.3-1_s390x.deb
|
22986188 bytes
|
2024-10-25 22:46:57 |
|
📄 agda-bin_2.6.4.3-1build1_arm64.deb
|
11163794 bytes
|
2025-11-01 18:58:20 |
|
📄 agda-bin_2.6.4.3-1build1_ppc64el.deb
|
10768700 bytes
|
2025-11-01 18:59:21 |
|
📄 agda-bin_2.6.4.3-1build1_riscv64.deb
|
14498710 bytes
|
2025-11-03 11:08:59 |
|
📄 agda-bin_2.6.4.3-1build1_s390x.deb
|
23000790 bytes
|
2025-11-01 19:00:05 |
|
📄 agda-mode_2.3.2.2-1_all.deb
|
48080 bytes
|
2013-11-06 17:28:38 |
|
📄 agda-mode_2.4.2.5-1build1_all.deb
|
37272 bytes
|
2016-01-12 22:59:05 |
|
📄 agda-mode_2.5.3-3build1_all.deb
|
3584 bytes
|
2017-11-25 20:09:45 |
|
📄 agda-mode_2.6.0.1-1build4_all.deb
|
3644 bytes
|
2020-02-08 13:19:08 |
|
📄 agda_2.3.2.2-1.debian.tar.gz
|
7406 bytes
|
2013-11-06 17:28:29 |
|
📄 agda_2.3.2.2-1.dsc
|
3283 bytes
|
2013-11-06 17:28:29 |
|
📄 agda_2.3.2.2-1_all.deb
|
2996 bytes
|
2013-11-06 17:28:39 |
|
📄 agda_2.3.2.2.orig.tar.gz
|
2034934 bytes
|
2013-11-06 17:28:29 |
|
📄 agda_2.4.2.5-1build1.debian.tar.xz
|
7848 bytes
|
2016-01-12 22:30:27 |
|
📄 agda_2.4.2.5-1build1.dsc
|
3826 bytes
|
2016-01-12 22:30:27 |
|
📄 agda_2.4.2.5-1build1_all.deb
|
2966 bytes
|
2016-01-12 22:59:07 |
|
📄 agda_2.4.2.5.orig.tar.gz
|
1031427 bytes
|
2016-01-04 23:25:06 |
|
📄 agda_2.5.3-3build1.debian.tar.xz
|
9800 bytes
|
2017-11-25 19:15:28 |
|
📄 agda_2.5.3-3build1.dsc
|
4572 bytes
|
2017-11-25 19:15:28 |
|
📄 agda_2.5.3-3build1_all.deb
|
3052 bytes
|
2017-11-25 20:09:45 |
|
📄 agda_2.5.3.orig.tar.gz
|
1201344 bytes
|
2017-11-01 13:05:07 |
|
📄 agda_2.6.0.1-1build4.debian.tar.xz
|
10220 bytes
|
2020-02-08 11:38:18 |
|
📄 agda_2.6.0.1-1build4.dsc
|
4293 bytes
|
2020-02-08 11:38:18 |
|
📄 agda_2.6.0.1-1build4_all.deb
|
4056 bytes
|
2020-02-08 13:19:07 |
|
📄 agda_2.6.0.1.orig.tar.gz
|
2372106 bytes
|
2019-09-01 12:43:41 |
|
📄 agda_2.6.1-1build2.1.debian.tar.xz
|
10232 bytes
|
2021-09-16 07:39:13 |
|
📄 agda_2.6.1-1build2.1.dsc
|
4293 bytes
|
2021-09-16 07:39:13 |
|
📄 agda_2.6.1-1build2.1_all.deb
|
4134 bytes
|
2021-09-16 08:28:52 |
|
📄 agda_2.6.1.orig.tar.gz
|
2646289 bytes
|
2020-07-29 23:19:10 |
|
📄 agda_2.6.3-1build1.debian.tar.xz
|
11628 bytes
|
2023-11-08 09:36:47 |
|
📄 agda_2.6.3-1build1.dsc
|
4939 bytes
|
2023-11-08 09:36:47 |
|
📄 agda_2.6.3-1build1_all.deb
|
3758 bytes
|
2023-11-10 20:19:27 |
|
📄 agda_2.6.3.orig.tar.gz
|
1794269 bytes
|
2023-10-26 15:43:25 |
|
📄 agda_2.6.4.3-1.debian.tar.xz
|
10460 bytes
|
2024-10-25 19:11:59 |
|
📄 agda_2.6.4.3-1.dsc
|
5197 bytes
|
2024-10-25 19:11:59 |
|
📄 agda_2.6.4.3-1_all.deb
|
3736 bytes
|
2024-10-25 21:15:06 |
|
📄 agda_2.6.4.3-1build1.debian.tar.xz
|
10508 bytes
|
2025-11-01 08:04:42 |
|
📄 agda_2.6.4.3-1build1.dsc
|
5192 bytes
|
2025-11-01 08:04:42 |
|
📄 agda_2.6.4.3-1build1_all.deb
|
3836 bytes
|
2025-11-01 18:57:25 |
|
📄 agda_2.6.4.3.orig.tar.gz
|
1869461 bytes
|
2024-10-25 19:11:59 |
|
📄 elpa-agda2-mode_2.5.3-3build1_all.deb
|
40852 bytes
|
2017-11-25 20:09:45 |
|
📄 elpa-agda2-mode_2.6.0.1-1build4_all.deb
|
41180 bytes
|
2020-02-08 13:19:07 |
|
📄 elpa-agda2-mode_2.6.1-1build2.1_all.deb
|
46174 bytes
|
2021-09-16 08:28:53 |
|
📄 elpa-agda2-mode_2.6.3-1build1_all.deb
|
46250 bytes
|
2023-11-10 20:19:27 |
|
📄 elpa-agda2-mode_2.6.4.3-1_all.deb
|
46334 bytes
|
2024-10-25 21:15:06 |
|
📄 elpa-agda2-mode_2.6.4.3-1build1_all.deb
|
46434 bytes
|
2025-11-01 18:57:25 |
|
📄 libghc-agda-dev_2.3.2.2-1_powerpc.deb
|
15547040 bytes
|
2013-11-06 17:29:02 |
|
📄 libghc-agda-dev_2.4.2.5-1build1_arm64.deb
|
16629572 bytes
|
2016-01-13 00:25:56 |
|
📄 libghc-agda-dev_2.4.2.5-1build1_armhf.deb
|
13815724 bytes
|
2017-06-21 18:09:27 |
|
📄 libghc-agda-dev_2.4.2.5-1build1_powerpc.deb
|
10581374 bytes
|
2016-01-12 22:59:19 |
|
📄 libghc-agda-dev_2.4.2.5-1build1_ppc64el.deb
|
16720714 bytes
|
2016-01-12 23:15:04 |
|
📄 libghc-agda-dev_2.4.2.5-1build1_s390x.deb
|
17160294 bytes
|
2016-01-12 22:59:39 |
|
📄 libghc-agda-dev_2.5.3-3build1_arm64.deb
|
23852936 bytes
|
2017-11-25 22:59:43 |
|
📄 libghc-agda-dev_2.5.3-3build1_armhf.deb
|
19564348 bytes
|
2017-11-25 22:59:44 |
|
📄 libghc-agda-dev_2.5.3-3build1_ppc64el.deb
|
21277488 bytes
|
2017-11-25 20:10:00 |
|
📄 libghc-agda-dev_2.5.3-3build1_s390x.deb
|
24676480 bytes
|
2017-11-25 20:10:05 |
|
📄 libghc-agda-dev_2.6.0.1-1build4_arm64.deb
|
23210212 bytes
|
2020-02-08 14:53:21 |
|
📄 libghc-agda-dev_2.6.0.1-1build4_ppc64el.deb
|
28834432 bytes
|
2020-02-08 12:35:25 |
|
📄 libghc-agda-dev_2.6.0.1-1build4_riscv64.deb
|
43981616 bytes
|
2020-04-10 17:03:19 |
|
📄 libghc-agda-dev_2.6.0.1-1build4_s390x.deb
|
29899292 bytes
|
2020-02-08 13:07:59 |
|
📄 libghc-agda-dev_2.6.1-1build2.1_ppc64el.deb
|
65653474 bytes
|
2021-09-16 08:43:51 |
|
📄 libghc-agda-dev_2.6.1-1build2.1_riscv64.deb
|
94411564 bytes
|
2021-09-17 21:33:55 |
|
📄 libghc-agda-dev_2.6.1-1build2.1_s390x.deb
|
68699950 bytes
|
2021-09-16 08:58:51 |
|
📄 libghc-agda-dev_2.6.3-1build1_arm64.deb
|
29053628 bytes
|
2023-11-11 00:55:23 |
|
📄 libghc-agda-dev_2.6.3-1build1_ppc64el.deb
|
40729566 bytes
|
2023-11-10 21:14:20 |
|
📄 libghc-agda-dev_2.6.3-1build1_riscv64.deb
|
47140868 bytes
|
2023-11-11 17:09:17 |
|
📄 libghc-agda-dev_2.6.3-1build1_s390x.deb
|
39704752 bytes
|
2023-11-10 21:14:22 |
|
📄 libghc-agda-dev_2.6.4.3-1_arm64.deb
|
27275062 bytes
|
2024-10-25 21:15:07 |
|
📄 libghc-agda-dev_2.6.4.3-1_ppc64el.deb
|
34925420 bytes
|
2024-10-25 21:15:08 |
|
📄 libghc-agda-dev_2.6.4.3-1_riscv64.deb
|
49914430 bytes
|
2024-10-26 08:11:19 |
|
📄 libghc-agda-dev_2.6.4.3-1_s390x.deb
|
46077808 bytes
|
2024-10-25 22:46:57 |
|
📄 libghc-agda-dev_2.6.4.3-1build1_arm64.deb
|
27190940 bytes
|
2025-11-01 18:58:20 |
|
📄 libghc-agda-dev_2.6.4.3-1build1_ppc64el.deb
|
34888580 bytes
|
2025-11-01 18:59:20 |
|
📄 libghc-agda-dev_2.6.4.3-1build1_riscv64.deb
|
49799500 bytes
|
2025-11-03 11:08:59 |
|
📄 libghc-agda-dev_2.6.4.3-1build1_s390x.deb
|
45966762 bytes
|
2025-11-01 19:00:05 |
|
📄 libghc-agda-doc_2.3.2.2-1_all.deb
|
2186306 bytes
|
2013-11-06 17:28:38 |
|
📄 libghc-agda-doc_2.4.2.5-1build1_all.deb
|
2184422 bytes
|
2016-01-12 22:59:06 |
|
📄 libghc-agda-doc_2.5.3-3build1_all.deb
|
2752184 bytes
|
2017-11-25 20:09:44 |
|
📄 libghc-agda-doc_2.6.0.1-1build4_all.deb
|
4206940 bytes
|
2020-02-08 13:19:06 |
|
📄 libghc-agda-doc_2.6.1-1build2.1_all.deb
|
5403312 bytes
|
2021-09-16 08:28:53 |
|
📄 libghc-agda-doc_2.6.3-1build1_all.deb
|
6288876 bytes
|
2023-11-10 20:19:27 |
|
📄 libghc-agda-doc_2.6.4.3-1_all.deb
|
6690584 bytes
|
2024-10-25 21:15:06 |
|
📄 libghc-agda-doc_2.6.4.3-1build1_all.deb
|
6695078 bytes
|
2025-11-01 18:57:25 |