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-1+b1_arm64.deb 22-Oct-2023 21:29 10311032 agda-bin_2.6.3-1+b1_i386.deb 13-Apr-2024 19:29 15371516 agda-bin_2.6.3-1+b2_amd64.deb 30-Oct-2023 16:22 10253960 agda-bin_2.6.3-1+b2_arm64.deb 13-Apr-2024 20:10 10308792 agda-bin_2.6.3-1+b3_amd64.deb 13-Apr-2024 17:30 10251556 agda-bin_2.6.3-1_i386.deb 30-Oct-2023 17:12 15346188 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-1.debian.tar.xz 13-Oct-2023 15:34 11604 agda_2.6.3-1.dsc 13-Oct-2023 15:34 4944 agda_2.6.3-1_all.deb 13-Oct-2023 16:30 20128 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-1_all.deb 13-Oct-2023 16:30 59256 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-1+b1_arm64.deb 22-Oct-2023 21:29 25427740 libghc-agda-dev_2.6.3-1+b1_i386.deb 13-Apr-2024 19:29 39321424 libghc-agda-dev_2.6.3-1+b2_amd64.deb 30-Oct-2023 16:22 23650552 libghc-agda-dev_2.6.3-1+b2_arm64.deb 13-Apr-2024 20:10 25437956 libghc-agda-dev_2.6.3-1+b3_amd64.deb 13-Apr-2024 17:30 23651156 libghc-agda-dev_2.6.3-1_i386.deb 30-Oct-2023 17:12 39319820 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-1_all.deb 13-Oct-2023 16:30 6957572
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.