../ 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_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 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 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-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
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.