../ agda-bin_2.6.1-1+b2_amd64.deb 19-Aug-2020 19:59 8910056 agda-bin_2.6.1-1+b2_arm64.deb 19-Aug-2020 21:57 10374216 agda-bin_2.6.1-1+b2_i386.deb 19-Aug-2020 22:58 8967940 agda-bin_2.6.2.2-1.1_amd64.deb 06-Dec-2022 17:57 7751992 agda-bin_2.6.2.2-1.1_mips64el.deb 06-Dec-2022 22:12 15291932 agda-bin_2.6.2.2-1.1_ppc64el.deb 06-Dec-2022 18:28 10606748 agda-bin_2.6.2.2-1.1_s390x.deb 06-Dec-2022 18:38 20207572 agda-bin_2.6.4.3-1+b1_armel.deb 17-Oct-2024 02:06 13978264 agda-bin_2.6.4.3-1+b2_amd64.deb 01-Feb-2025 22:54 9846396 agda-bin_2.6.4.3-1+b2_arm64.deb 14-Feb-2025 12:31 9868676 agda-bin_2.6.4.3-1+b2_i386.deb 14-Feb-2025 10:53 14756624 agda-bin_2.6.4.3-1_ppc64el.deb 08-Oct-2024 11:44 9460608 agda-bin_2.6.4.3-1_riscv64.deb 09-Oct-2024 00:41 13093504 agda-bin_2.6.4.3-1_s390x.deb 08-Oct-2024 11:44 19773020 agda-bin_2.8.0-2+b1_amd64.deb 28-Feb-2026 01:02 10285320 agda-bin_2.8.0-2+b1_arm64.deb 28-Feb-2026 01:17 10339072 agda-bin_2.8.0-2+b1_i386.deb 28-Feb-2026 01:02 10170068 agda-bin_2.8.0-2+b1_loong64.deb 28-Feb-2026 08:20 19931544 agda-bin_2.8.0-2+b1_ppc64el.deb 28-Feb-2026 01:33 11373552 agda-bin_2.8.0-2+b1_riscv64.deb 01-Mar-2026 19:58 16742660 agda-bin_2.8.0-2+b1_s390x.deb 28-Feb-2026 11:12 18526032 agda-bin_2.8.0-2_amd64.deb 15-Feb-2026 15:07 10284660 agda-bin_2.8.0-2_arm64.deb 15-Feb-2026 15:07 10340220 agda-bin_2.8.0-2_i386.deb 15-Feb-2026 15:07 10169916 agda-bin_2.8.0-2_ppc64el.deb 15-Feb-2026 15:33 11391968 agda-bin_2.8.0-2_riscv64.deb 16-Feb-2026 15:02 16743460 agda-bin_2.8.0-2_s390x.deb 15-Feb-2026 18:10 18532024 agda_2.6.1-1.debian.tar.xz 29-Jul-2020 15:40 10060 agda_2.6.1-1.dsc 29-Jul-2020 15:40 4186 agda_2.6.1-1_all.deb 29-Jul-2020 16:40 28736 agda_2.6.1.orig.tar.gz 29-Jul-2020 15:40 2646289 agda_2.6.2.2-1.1.debian.tar.xz 06-Dec-2022 16:40 10496 agda_2.6.2.2-1.1.dsc 06-Dec-2022 16:40 4426 agda_2.6.2.2-1.1_all.deb 06-Dec-2022 17:41 12304 agda_2.6.2.2.orig.tar.gz 06-Aug-2022 17:04 1690635 agda_2.6.4.3-1.debian.tar.xz 08-Oct-2024 10:41 10460 agda_2.6.4.3-1.dsc 08-Oct-2024 10:41 5197 agda_2.6.4.3-1_all.deb 08-Oct-2024 11:23 12148 agda_2.6.4.3.orig.tar.gz 08-Oct-2024 10:41 1869461 agda_2.8.0-2.debian.tar.xz 15-Feb-2026 14:11 10632 agda_2.8.0-2.dsc 15-Feb-2026 14:11 5939 agda_2.8.0-2_all.deb 15-Feb-2026 15:07 17396 agda_2.8.0.orig.tar.gz 14-Feb-2026 17:37 1951997 elpa-agda2-mode_2.6.1-1_all.deb 29-Jul-2020 16:40 66816 elpa-agda2-mode_2.6.2.2-1.1_all.deb 06-Dec-2022 17:41 50944 elpa-agda2-mode_2.6.4.3-1_all.deb 08-Oct-2024 11:23 51316 elpa-agda2-mode_2.8.0-2_all.deb 15-Feb-2026 15:07 57648 libghc-agda-dev_2.6.1-1+b2_amd64.deb 19-Aug-2020 19:59 37948252 libghc-agda-dev_2.6.1-1+b2_arm64.deb 19-Aug-2020 21:57 44818592 libghc-agda-dev_2.6.1-1+b2_i386.deb 19-Aug-2020 22:58 38089964 libghc-agda-dev_2.6.2.2-1.1_amd64.deb 06-Dec-2022 17:57 24853036 libghc-agda-dev_2.6.2.2-1.1_mips64el.deb 06-Dec-2022 22:12 36477468 libghc-agda-dev_2.6.2.2-1.1_ppc64el.deb 06-Dec-2022 18:28 36209704 libghc-agda-dev_2.6.2.2-1.1_s390x.deb 06-Dec-2022 18:38 39573044 libghc-agda-dev_2.6.4.3-1+b1_armel.deb 17-Oct-2024 02:06 31201068 libghc-agda-dev_2.6.4.3-1+b2_amd64.deb 01-Feb-2025 22:54 22821040 libghc-agda-dev_2.6.4.3-1+b2_arm64.deb 14-Feb-2025 12:31 24469636 libghc-agda-dev_2.6.4.3-1+b2_i386.deb 14-Feb-2025 10:53 37341944 libghc-agda-dev_2.6.4.3-1_ppc64el.deb 08-Oct-2024 11:44 30488068 libghc-agda-dev_2.6.4.3-1_riscv64.deb 09-Oct-2024 00:41 41660392 libghc-agda-dev_2.6.4.3-1_s390x.deb 08-Oct-2024 11:44 40484108 libghc-agda-dev_2.8.0-2+b1_amd64.deb 28-Feb-2026 01:02 37686928 libghc-agda-dev_2.8.0-2+b1_arm64.deb 28-Feb-2026 01:17 40076152 libghc-agda-dev_2.8.0-2+b1_i386.deb 28-Feb-2026 01:02 38135244 libghc-agda-dev_2.8.0-2+b1_loong64.deb 28-Feb-2026 08:20 67789624 libghc-agda-dev_2.8.0-2+b1_ppc64el.deb 28-Feb-2026 01:33 48639072 libghc-agda-dev_2.8.0-2+b1_riscv64.deb 01-Mar-2026 19:58 69283916 libghc-agda-dev_2.8.0-2+b1_s390x.deb 28-Feb-2026 11:12 56371960 libghc-agda-dev_2.8.0-2_amd64.deb 15-Feb-2026 15:07 37667968 libghc-agda-dev_2.8.0-2_arm64.deb 15-Feb-2026 15:07 40067720 libghc-agda-dev_2.8.0-2_i386.deb 15-Feb-2026 15:07 38170376 libghc-agda-dev_2.8.0-2_ppc64el.deb 15-Feb-2026 15:33 48779076 libghc-agda-dev_2.8.0-2_riscv64.deb 16-Feb-2026 15:02 69469660 libghc-agda-dev_2.8.0-2_s390x.deb 15-Feb-2026 18:10 56343712 libghc-agda-doc_2.6.1-1_all.deb 29-Jul-2020 16:40 5799636 libghc-agda-doc_2.6.2.2-1.1_all.deb 06-Dec-2022 17:41 6599972 libghc-agda-doc_2.6.4.3-1_all.deb 08-Oct-2024 11:23 7489680 libghc-agda-doc_2.8.0-2_all.deb 15-Feb-2026 15:07 7585956
This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.