The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
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[@]dogado.de.
../ agda-bin_2.5.4.1-3+b1_amd64.deb 04-Dec-2018 10:59 5868440 agda-bin_2.5.4.1-3+b1_arm64.deb 04-Dec-2018 13:27 6780816 agda-bin_2.5.4.1-3+b1_i386.deb 04-Dec-2018 10:43 5946324 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+b1_i386.deb 16-Oct-2024 23:33 14747792 agda-bin_2.6.4.3-1_amd64.deb 08-Oct-2024 11:17 9852176 agda-bin_2.6.4.3-1_arm64.deb 08-Oct-2024 13:27 9873860 agda-mode_2.5.4.1-3_all.deb 20-Oct-2018 21:57 117680 agda_2.5.4.1-3.debian.tar.xz 20-Oct-2018 20:41 9928 agda_2.5.4.1-3.dsc 20-Oct-2018 20:41 3870 agda_2.5.4.1-3_all.deb 20-Oct-2018 21:57 118104 agda_2.5.4.1.orig.tar.gz 30-Sep-2018 10:54 1989201 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.5.4.1-3_all.deb 20-Oct-2018 21:57 155444 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.5.4.1-3+b1_amd64.deb 04-Dec-2018 10:59 17170668 libghc-agda-dev_2.5.4.1-3+b1_arm64.deb 04-Dec-2018 13:27 19737352 libghc-agda-dev_2.5.4.1-3+b1_i386.deb 04-Dec-2018 10:43 16797896 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+b1_i386.deb 16-Oct-2024 23:33 37357196 libghc-agda-dev_2.6.4.3-1_amd64.deb 08-Oct-2024 11:17 22847960 libghc-agda-dev_2.6.4.3-1_arm64.deb 08-Oct-2024 13:27 24467444 libghc-agda-doc_2.5.4.1-3_all.deb 20-Oct-2018 21:57 3790832 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
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.
Health stats visible at Monitor.