|
📁 ../
|
- |
- |
|
📄 agda-bin_2.3.2.2-1_amd64.deb
|
5476328 bytes
|
2013-11-06 21:28:35 |
|
📄 agda-bin_2.3.2.2-1_i386.deb
|
5094722 bytes
|
2013-11-06 21:28:57 |
|
📄 agda-bin_2.4.2.5-1build1_amd64.deb
|
4803616 bytes
|
2016-01-13 01:59:06 |
|
📄 agda-bin_2.4.2.5-1build1_i386.deb
|
4784082 bytes
|
2016-01-13 01:45:42 |
|
📄 agda-bin_2.5.3-3build1_amd64.deb
|
5728080 bytes
|
2017-11-25 23:09:44 |
|
📄 agda-bin_2.5.3-3build1_i386.deb
|
5735576 bytes
|
2017-11-25 23:09:57 |
|
📄 agda-bin_2.6.0.1-1build4_amd64.deb
|
6571852 bytes
|
2020-02-08 16:19:07 |
|
📄 agda-bin_2.6.1-1build2.1_amd64.deb
|
9541384 bytes
|
2021-09-16 11:28:52 |
|
📄 agda-bin_2.6.3-1build1_amd64.deb
|
10985550 bytes
|
2023-11-10 23:19:27 |
|
📄 agda-bin_2.6.4.3-1_amd64.deb
|
10540652 bytes
|
2024-10-26 00:15:06 |
|
📄 agda-bin_2.6.4.3-1build1_amd64.deb
|
10541340 bytes
|
2025-11-01 21:57:25 |
|
📄 agda-bin_2.6.4.3-1build1_amd64v3.deb
|
10541396 bytes
|
2025-11-01 21:57:58 |
|
📄 agda-mode_2.3.2.2-1_all.deb
|
48080 bytes
|
2013-11-06 21:28:38 |
|
📄 agda-mode_2.4.2.5-1build1_all.deb
|
37272 bytes
|
2016-01-13 01:59:05 |
|
📄 agda-mode_2.5.3-3build1_all.deb
|
3584 bytes
|
2017-11-25 23:09:45 |
|
📄 agda-mode_2.6.0.1-1build4_all.deb
|
3644 bytes
|
2020-02-08 16:19:08 |
|
📄 agda_2.3.2.2-1.debian.tar.gz
|
7406 bytes
|
2013-11-06 21:28:29 |
|
📄 agda_2.3.2.2-1.dsc
|
3283 bytes
|
2013-11-06 21:28:29 |
|
📄 agda_2.3.2.2-1_all.deb
|
2996 bytes
|
2013-11-06 21:28:39 |
|
📄 agda_2.3.2.2.orig.tar.gz
|
2034934 bytes
|
2013-11-06 21:28:29 |
|
📄 agda_2.4.2.5-1build1.debian.tar.xz
|
7848 bytes
|
2016-01-13 01:30:27 |
|
📄 agda_2.4.2.5-1build1.dsc
|
3826 bytes
|
2016-01-13 01:30:27 |
|
📄 agda_2.4.2.5-1build1_all.deb
|
2966 bytes
|
2016-01-13 01:59:07 |
|
📄 agda_2.4.2.5.orig.tar.gz
|
1031427 bytes
|
2016-01-05 02:25:06 |
|
📄 agda_2.5.3-3build1.debian.tar.xz
|
9800 bytes
|
2017-11-25 22:15:28 |
|
📄 agda_2.5.3-3build1.dsc
|
4572 bytes
|
2017-11-25 22:15:28 |
|
📄 agda_2.5.3-3build1_all.deb
|
3052 bytes
|
2017-11-25 23:09:45 |
|
📄 agda_2.5.3.orig.tar.gz
|
1201344 bytes
|
2017-11-01 16:05:07 |
|
📄 agda_2.6.0.1-1build4.debian.tar.xz
|
10220 bytes
|
2020-02-08 14:38:18 |
|
📄 agda_2.6.0.1-1build4.dsc
|
4293 bytes
|
2020-02-08 14:38:18 |
|
📄 agda_2.6.0.1-1build4_all.deb
|
4056 bytes
|
2020-02-08 16:19:07 |
|
📄 agda_2.6.0.1.orig.tar.gz
|
2372106 bytes
|
2019-09-01 15:43:41 |
|
📄 agda_2.6.1-1build2.1.debian.tar.xz
|
10232 bytes
|
2021-09-16 10:39:13 |
|
📄 agda_2.6.1-1build2.1.dsc
|
4293 bytes
|
2021-09-16 10:39:13 |
|
📄 agda_2.6.1-1build2.1_all.deb
|
4134 bytes
|
2021-09-16 11:28:52 |
|
📄 agda_2.6.1.orig.tar.gz
|
2646289 bytes
|
2020-07-30 02:19:10 |
|
📄 agda_2.6.3-1build1.debian.tar.xz
|
11628 bytes
|
2023-11-08 12:36:47 |
|
📄 agda_2.6.3-1build1.dsc
|
4939 bytes
|
2023-11-08 12:36:47 |
|
📄 agda_2.6.3-1build1_all.deb
|
3758 bytes
|
2023-11-10 23:19:27 |
|
📄 agda_2.6.3.orig.tar.gz
|
1794269 bytes
|
2023-10-26 18:43:25 |
|
📄 agda_2.6.4.3-1.debian.tar.xz
|
10460 bytes
|
2024-10-25 22:11:59 |
|
📄 agda_2.6.4.3-1.dsc
|
5197 bytes
|
2024-10-25 22:11:59 |
|
📄 agda_2.6.4.3-1_all.deb
|
3736 bytes
|
2024-10-26 00:15:06 |
|
📄 agda_2.6.4.3-1build1.debian.tar.xz
|
10508 bytes
|
2025-11-01 11:04:42 |
|
📄 agda_2.6.4.3-1build1.dsc
|
5192 bytes
|
2025-11-01 11:04:42 |
|
📄 agda_2.6.4.3-1build1_all.deb
|
3836 bytes
|
2025-11-01 21:57:25 |
|
📄 agda_2.6.4.3.orig.tar.gz
|
1869461 bytes
|
2024-10-25 22:11:59 |
|
📄 elpa-agda2-mode_2.5.3-3build1_all.deb
|
40852 bytes
|
2017-11-25 23:09:45 |
|
📄 elpa-agda2-mode_2.6.0.1-1build4_all.deb
|
41180 bytes
|
2020-02-08 16:19:07 |
|
📄 elpa-agda2-mode_2.6.1-1build2.1_all.deb
|
46174 bytes
|
2021-09-16 11:28:53 |
|
📄 elpa-agda2-mode_2.6.3-1build1_all.deb
|
46250 bytes
|
2023-11-10 23:19:27 |
|
📄 elpa-agda2-mode_2.6.4.3-1_all.deb
|
46334 bytes
|
2024-10-26 00:15:06 |
|
📄 elpa-agda2-mode_2.6.4.3-1build1_all.deb
|
46434 bytes
|
2025-11-01 21:57:25 |
|
📄 libghc-agda-dev_2.3.2.2-1_amd64.deb
|
13586672 bytes
|
2013-11-06 21:28:35 |
|
📄 libghc-agda-dev_2.3.2.2-1_i386.deb
|
12906540 bytes
|
2013-11-06 21:28:55 |
|
📄 libghc-agda-dev_2.4.2.5-1build1_amd64.deb
|
10670346 bytes
|
2016-01-13 01:59:06 |
|
📄 libghc-agda-dev_2.4.2.5-1build1_i386.deb
|
10538222 bytes
|
2016-01-13 01:45:42 |
|
📄 libghc-agda-dev_2.5.3-3build1_amd64.deb
|
15874428 bytes
|
2017-11-25 23:09:45 |
|
📄 libghc-agda-dev_2.5.3-3build1_i386.deb
|
15587704 bytes
|
2017-11-25 23:09:57 |
|
📄 libghc-agda-dev_2.6.0.1-1build4_amd64.deb
|
19681864 bytes
|
2020-02-08 16:19:07 |
|
📄 libghc-agda-dev_2.6.1-1build2.1_amd64.deb
|
40255774 bytes
|
2021-09-16 11:28:52 |
|
📄 libghc-agda-dev_2.6.3-1build1_amd64.deb
|
25485196 bytes
|
2023-11-10 23:19:27 |
|
📄 libghc-agda-dev_2.6.4.3-1_amd64.deb
|
24165586 bytes
|
2024-10-26 00:15:06 |
|
📄 libghc-agda-dev_2.6.4.3-1build1_amd64.deb
|
24138714 bytes
|
2025-11-01 21:57:25 |
|
📄 libghc-agda-dev_2.6.4.3-1build1_amd64v3.deb
|
24138772 bytes
|
2025-11-01 21:57:58 |
|
📄 libghc-agda-doc_2.3.2.2-1_all.deb
|
2186306 bytes
|
2013-11-06 21:28:38 |
|
📄 libghc-agda-doc_2.4.2.5-1build1_all.deb
|
2184422 bytes
|
2016-01-13 01:59:06 |
|
📄 libghc-agda-doc_2.5.3-3build1_all.deb
|
2752184 bytes
|
2017-11-25 23:09:44 |
|
📄 libghc-agda-doc_2.6.0.1-1build4_all.deb
|
4206940 bytes
|
2020-02-08 16:19:06 |
|
📄 libghc-agda-doc_2.6.1-1build2.1_all.deb
|
5403312 bytes
|
2021-09-16 11:28:53 |
|
📄 libghc-agda-doc_2.6.3-1build1_all.deb
|
6288876 bytes
|
2023-11-10 23:19:27 |
|
📄 libghc-agda-doc_2.6.4.3-1_all.deb
|
6690584 bytes
|
2024-10-26 00:15:06 |
|
📄 libghc-agda-doc_2.6.4.3-1build1_all.deb
|
6695078 bytes
|
2025-11-01 21:57:25 |