Parent directory/ | - | - |
agda_2.4.2.5-1build1_all.deb | 2966 | 2016-Jan-12 22:59 |
agda_2.3.2.2-1_all.deb | 2996 | 2013-Nov-06 17:28 |
agda_2.5.3-3build1_all.deb | 3052 | 2017-Nov-25 20:09 |
agda_2.3.2.2-1.dsc | 3283 | 2013-Nov-06 17:28 |
agda-mode_2.5.3-3build1_all.deb | 3584 | 2017-Nov-25 20:09 |
agda-mode_2.6.0.1-1build4_all.deb | 3644 | 2020-Feb-08 13:19 |
agda_2.6.2.2-1.1build1_all.deb | 3716 | 2022-Dec-12 10:59 |
agda_2.6.3-2_all.deb | 3724 | 2024-Sep-07 06:18 |
agda_2.6.4.3-1_all.deb | 3736 | 2024-Oct-25 21:15 |
agda_2.6.3-1build1_all.deb | 3758 | 2023-Nov-10 20:19 |
agda_2.4.2.5-1build1.dsc | 3826 | 2016-Jan-12 22:30 |
agda_2.6.0.1-1build4_all.deb | 4056 | 2020-Feb-08 13:19 |
agda_2.6.1-1build2.1_all.deb | 4134 | 2021-Sep-16 08:28 |
agda_2.6.0.1-1build4.dsc | 4293 | 2020-Feb-08 11:38 |
agda_2.6.1-1build2.1.dsc | 4293 | 2021-Sep-16 07:39 |
agda_2.6.2.2-1.1build1.dsc | 4450 | 2022-Dec-12 10:29 |
agda_2.5.3-3build1.dsc | 4572 | 2017-Nov-25 19:15 |
agda_2.6.3-1build1.dsc | 4939 | 2023-Nov-08 09:36 |
agda_2.6.3-2.dsc | 4945 | 2024-Sep-07 06:18 |
agda_2.6.4.3-1.dsc | 5197 | 2024-Oct-25 19:11 |
agda_2.3.2.2-1.debian.tar.gz | 7406 | 2013-Nov-06 17:28 |
agda_2.4.2.5-1build1.debian.tar.xz | 7848 | 2016-Jan-12 22:30 |
agda_2.5.3-3build1.debian.tar.xz | 9800 | 2017-Nov-25 19:15 |
agda_2.6.0.1-1build4.debian.tar.xz | 10220 | 2020-Feb-08 11:38 |
agda_2.6.1-1build2.1.debian.tar.xz | 10232 | 2021-Sep-16 07:39 |
agda_2.6.4.3-1.debian.tar.xz | 10460 | 2024-Oct-25 19:11 |
agda_2.6.2.2-1.1build1.debian.tar.xz | 10536 | 2022-Dec-12 10:29 |
agda_2.6.3-1build1.debian.tar.xz | 11628 | 2023-Nov-08 09:36 |
agda_2.6.3-2.debian.tar.xz | 11636 | 2024-Sep-07 06:18 |
agda-mode_2.4.2.5-1build1_all.deb | 37272 | 2016-Jan-12 22:59 |
elpa-agda2-mode_2.5.3-3build1_all.deb | 40852 | 2017-Nov-25 20:09 |
elpa-agda2-mode_2.6.0.1-1build4_all.deb | 41180 | 2020-Feb-08 13:19 |
elpa-agda2-mode_2.6.2.2-1.1build1_all.deb | 45378 | 2022-Dec-12 10:59 |
elpa-agda2-mode_2.6.1-1build2.1_all.deb | 46174 | 2021-Sep-16 08:28 |
elpa-agda2-mode_2.6.3-1build1_all.deb | 46250 | 2023-Nov-10 20:19 |
elpa-agda2-mode_2.6.3-2_all.deb | 46304 | 2024-Sep-07 06:18 |
elpa-agda2-mode_2.6.4.3-1_all.deb | 46334 | 2024-Oct-25 21:15 |
agda-mode_2.3.2.2-1_all.deb | 48080 | 2013-Nov-06 17:28 |
agda_2.4.2.5.orig.tar.gz | 1031427 | 2016-Jan-04 23:25 |
agda_2.5.3.orig.tar.gz | 1201344 | 2017-Nov-01 13:05 |
agda_2.6.2.2.orig.tar.gz | 1690635 | 2022-Aug-06 23:19 |
agda_2.6.3.orig.tar.gz | 1794269 | 2023-Oct-26 15:43 |
agda_2.6.4.3.orig.tar.gz | 1869461 | 2024-Oct-25 19:11 |
agda_2.3.2.2.orig.tar.gz | 2034934 | 2013-Nov-06 17:28 |
libghc-agda-doc_2.4.2.5-1build1_all.deb | 2184422 | 2016-Jan-12 22:59 |
libghc-agda-doc_2.3.2.2-1_all.deb | 2186306 | 2013-Nov-06 17:28 |
agda_2.6.0.1.orig.tar.gz | 2372106 | 2019-Sep-01 12:43 |
agda_2.6.1.orig.tar.gz | 2646289 | 2020-Jul-29 23:19 |
libghc-agda-doc_2.5.3-3build1_all.deb | 2752184 | 2017-Nov-25 20:09 |
libghc-agda-doc_2.6.0.1-1build4_all.deb | 4206940 | 2020-Feb-08 13:19 |
agda-bin_2.4.2.5-1build1_powerpc.deb | 4295994 | 2016-Jan-12 22:59 |
agda-bin_2.3.2.2-1_powerpc.deb | 5348898 | 2013-Nov-06 17:29 |
libghc-agda-doc_2.6.1-1build2.1_all.deb | 5403312 | 2021-Sep-16 08:28 |
libghc-agda-doc_2.6.2.2-1.1build1_all.deb | 5991684 | 2022-Dec-12 10:59 |
libghc-agda-doc_2.6.3-2_all.deb | 6226040 | 2024-Sep-07 06:18 |
libghc-agda-doc_2.6.3-1build1_all.deb | 6288876 | 2023-Nov-10 20:19 |
agda-bin_2.4.2.5-1build1_armhf.deb | 6305750 | 2017-Jun-21 18:09 |
libghc-agda-doc_2.6.4.3-1_all.deb | 6690584 | 2024-Oct-25 21:15 |
agda-bin_2.5.3-3build1_ppc64el.deb | 6724416 | 2017-Nov-25 20:10 |
agda-bin_2.4.2.5-1build1_ppc64el.deb | 6736196 | 2016-Jan-12 23:15 |
agda-bin_2.5.3-3build1_armhf.deb | 7330384 | 2017-Nov-25 22:59 |
agda-bin_2.6.0.1-1build4_arm64.deb | 7790996 | 2020-Feb-08 14:53 |
agda-bin_2.4.2.5-1build1_arm64.deb | 7958098 | 2016-Jan-13 00:25 |
agda-bin_2.5.3-3build1_arm64.deb | 9094760 | 2017-Nov-25 22:59 |
agda-bin_2.6.0.1-1build4_ppc64el.deb | 9143648 | 2020-Feb-08 12:35 |
libghc-agda-dev_2.4.2.5-1build1_powerpc.deb | 10581374 | 2016-Jan-12 22:59 |
agda-bin_2.6.4.3-1_ppc64el.deb | 10768050 | 2024-Oct-25 21:15 |
agda-bin_2.6.4.3-1_arm64.deb | 11161542 | 2024-Oct-25 21:15 |
agda-bin_2.6.3-2_arm64.deb | 11639520 | 2024-Sep-07 07:09 |
agda-bin_2.6.3-1build1_arm64.deb | 11677582 | 2023-Nov-11 00:55 |
agda-bin_2.4.2.5-1build1_s390x.deb | 11729594 | 2016-Jan-12 22:59 |
agda-bin_2.6.2.2-1.1build1_ppc64el.deb | 12390246 | 2022-Dec-12 10:59 |
agda-bin_2.6.3-2_riscv64.deb | 12724674 | 2024-Sep-07 15:44 |
agda-bin_2.6.3-1build1_riscv64.deb | 12762330 | 2023-Nov-11 17:09 |
agda-bin_2.6.3-2_ppc64el.deb | 13045234 | 2024-Sep-07 07:09 |
agda-bin_2.5.3-3build1_s390x.deb | 13290000 | 2017-Nov-25 20:10 |
agda-bin_2.6.3-1build1_ppc64el.deb | 13344166 | 2023-Nov-10 21:14 |
agda-bin_2.6.2.2-1.1build1_riscv64.deb | 13501382 | 2022-Dec-13 14:59 |
libghc-agda-dev_2.4.2.5-1build1_armhf.deb | 13815724 | 2017-Jun-21 18:09 |
agda-bin_2.6.1-1build2.1_ppc64el.deb | 14379838 | 2021-Sep-16 08:43 |
agda-bin_2.6.4.3-1_riscv64.deb | 14492774 | 2024-Oct-26 08:11 |
agda-bin_2.6.0.1-1build4_s390x.deb | 15471300 | 2020-Feb-08 13:07 |
libghc-agda-dev_2.3.2.2-1_powerpc.deb | 15547040 | 2013-Nov-06 17:29 |
agda-bin_2.6.1-1build2.1_riscv64.deb | 15767852 | 2021-Sep-17 21:33 |
libghc-agda-dev_2.4.2.5-1build1_arm64.deb | 16629572 | 2016-Jan-13 00:25 |
libghc-agda-dev_2.4.2.5-1build1_ppc64el.deb | 16720714 | 2016-Jan-12 23:15 |
libghc-agda-dev_2.4.2.5-1build1_s390x.deb | 17160294 | 2016-Jan-12 22:59 |
agda-bin_2.6.3-2_s390x.deb | 17306472 | 2024-Sep-07 07:09 |
agda-bin_2.6.3-1build1_s390x.deb | 17356626 | 2023-Nov-10 21:14 |
agda-bin_2.6.0.1-1build4_riscv64.deb | 18143148 | 2020-Apr-10 17:03 |
libghc-agda-dev_2.5.3-3build1_armhf.deb | 19564348 | 2017-Nov-25 22:59 |
libghc-agda-dev_2.5.3-3build1_ppc64el.deb | 21277488 | 2017-Nov-25 20:10 |
agda-bin_2.6.4.3-1_s390x.deb | 22986188 | 2024-Oct-25 22:46 |
libghc-agda-dev_2.6.0.1-1build4_arm64.deb | 23210212 | 2020-Feb-08 14:53 |
libghc-agda-dev_2.5.3-3build1_arm64.deb | 23852936 | 2017-Nov-25 22:59 |
libghc-agda-dev_2.5.3-3build1_s390x.deb | 24676480 | 2017-Nov-25 20:10 |
agda-bin_2.6.2.2-1.1build1_s390x.deb | 24979874 | 2022-Dec-12 12:46 |
libghc-agda-dev_2.6.4.3-1_arm64.deb | 27275062 | 2024-Oct-25 21:15 |
libghc-agda-dev_2.6.3-2_arm64.deb | 28766522 | 2024-Sep-07 07:09 |
libghc-agda-dev_2.6.0.1-1build4_ppc64el.deb | 28834432 | 2020-Feb-08 12:35 |
libghc-agda-dev_2.6.3-1build1_arm64.deb | 29053628 | 2023-Nov-11 00:55 |
agda-bin_2.6.1-1build2.1_s390x.deb | 29791124 | 2021-Sep-16 08:58 |
libghc-agda-dev_2.6.0.1-1build4_s390x.deb | 29899292 | 2020-Feb-08 13:07 |
libghc-agda-dev_2.6.4.3-1_ppc64el.deb | 34925420 | 2024-Oct-25 21:15 |
libghc-agda-dev_2.6.3-2_s390x.deb | 38838864 | 2024-Sep-07 07:09 |
libghc-agda-dev_2.6.3-1build1_s390x.deb | 39704752 | 2023-Nov-10 21:14 |
libghc-agda-dev_2.6.3-2_ppc64el.deb | 39839610 | 2024-Sep-07 07:09 |
libghc-agda-dev_2.6.3-1build1_ppc64el.deb | 40729566 | 2023-Nov-10 21:14 |
libghc-agda-dev_2.6.2.2-1.1build1_ppc64el.deb | 43204142 | 2022-Dec-12 10:59 |
libghc-agda-dev_2.6.0.1-1build4_riscv64.deb | 43981616 | 2020-Apr-10 17:03 |
libghc-agda-dev_2.6.4.3-1_s390x.deb | 46077808 | 2024-Oct-25 22:46 |
libghc-agda-dev_2.6.3-2_riscv64.deb | 46716236 | 2024-Sep-07 15:44 |
libghc-agda-dev_2.6.3-1build1_riscv64.deb | 47140868 | 2023-Nov-11 17:09 |
libghc-agda-dev_2.6.2.2-1.1build1_s390x.deb | 47311466 | 2022-Dec-12 12:46 |
libghc-agda-dev_2.6.4.3-1_riscv64.deb | 49914430 | 2024-Oct-26 08:11 |
libghc-agda-dev_2.6.2.2-1.1build1_riscv64.deb | 62511786 | 2022-Dec-13 14:59 |
libghc-agda-dev_2.6.1-1build2.1_ppc64el.deb | 65653474 | 2021-Sep-16 08:43 |
libghc-agda-dev_2.6.1-1build2.1_s390x.deb | 68699950 | 2021-Sep-16 08:58 |
libghc-agda-dev_2.6.1-1build2.1_riscv64.deb | 94411564 | 2021-Sep-17 21:33 |