The hardware and bandwidth for this mirror is donated by METANET, the Webhosting and Full Service-Cloud Provider.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]metanet.ch.
../ 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.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.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_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_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.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.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_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-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
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.