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.3-2_amd64.deb 29-Aug-2024 13:33 10247724 agda-bin_2.6.3-2_arm64.deb 29-Aug-2024 14:18 10309480 agda-bin_2.6.3-2_i386.deb 29-Aug-2024 14:44 15343884 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.3-2.debian.tar.xz 29-Aug-2024 13:02 11636 agda_2.6.3-2.dsc 29-Aug-2024 13:02 4945 agda_2.6.3-2_all.deb 29-Aug-2024 13:38 20268 agda_2.6.3.orig.tar.gz 13-Oct-2023 15:34 1794269 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.3-2_all.deb 29-Aug-2024 13:38 59504 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.3-2_amd64.deb 29-Aug-2024 13:33 23644968 libghc-agda-dev_2.6.3-2_arm64.deb 29-Aug-2024 14:18 25424488 libghc-agda-dev_2.6.3-2_i386.deb 29-Aug-2024 14:44 39263812 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.3-2_all.deb 29-Aug-2024 13:38 7061496
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.