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.4.2.5-1build1_arm64.deb 13-Jan-2016 00:25 7958098 agda-bin_2.4.2.5-1build1_armhf.deb 21-Jun-2017 18:09 6305750 agda-bin_2.5.3-3build1_arm64.deb 25-Nov-2017 22:59 9094760 agda-bin_2.5.3-3build1_armhf.deb 25-Nov-2017 22:59 7330384 agda-bin_2.6.0.1-1build4_arm64.deb 08-Feb-2020 14:53 7790996 agda-bin_2.6.3-1build1_arm64.deb 11-Nov-2023 00:55 11677582 agda-bin_2.6.3-2_arm64.deb 07-Sep-2024 07:09 11639520 agda-bin_2.6.4.3-1_arm64.deb 25-Oct-2024 21:15 11161542 agda-mode_2.3.2.2-1_all.deb 06-Nov-2013 17:28 48080 agda-mode_2.4.2.5-1build1_all.deb 12-Jan-2016 22:59 37272 agda-mode_2.5.3-3build1_all.deb 25-Nov-2017 20:09 3584 agda-mode_2.6.0.1-1build4_all.deb 08-Feb-2020 13:19 3644 agda_2.3.2.2-1.debian.tar.gz 06-Nov-2013 17:28 7406 agda_2.3.2.2-1.dsc 06-Nov-2013 17:28 3283 agda_2.3.2.2-1_all.deb 06-Nov-2013 17:28 2996 agda_2.3.2.2.orig.tar.gz 06-Nov-2013 17:28 2034934 agda_2.4.2.5-1build1.debian.tar.xz 12-Jan-2016 22:30 7848 agda_2.4.2.5-1build1.dsc 12-Jan-2016 22:30 3826 agda_2.4.2.5-1build1_all.deb 12-Jan-2016 22:59 2966 agda_2.4.2.5.orig.tar.gz 04-Jan-2016 23:25 1031427 agda_2.5.3-3build1.debian.tar.xz 25-Nov-2017 19:15 9800 agda_2.5.3-3build1.dsc 25-Nov-2017 19:15 4572 agda_2.5.3-3build1_all.deb 25-Nov-2017 20:09 3052 agda_2.5.3.orig.tar.gz 01-Nov-2017 13:05 1201344 agda_2.6.0.1-1build4.debian.tar.xz 08-Feb-2020 11:38 10220 agda_2.6.0.1-1build4.dsc 08-Feb-2020 11:38 4293 agda_2.6.0.1-1build4_all.deb 08-Feb-2020 13:19 4056 agda_2.6.0.1.orig.tar.gz 01-Sep-2019 12:43 2372106 agda_2.6.1-1build2.1.debian.tar.xz 16-Sep-2021 07:39 10232 agda_2.6.1-1build2.1.dsc 16-Sep-2021 07:39 4293 agda_2.6.1-1build2.1_all.deb 16-Sep-2021 08:28 4134 agda_2.6.1.orig.tar.gz 29-Jul-2020 23:19 2646289 agda_2.6.2.2-1.1build1.debian.tar.xz 12-Dec-2022 10:29 10536 agda_2.6.2.2-1.1build1.dsc 12-Dec-2022 10:29 4450 agda_2.6.2.2-1.1build1_all.deb 12-Dec-2022 10:59 3716 agda_2.6.2.2.orig.tar.gz 06-Aug-2022 23:19 1690635 agda_2.6.3-1build1.debian.tar.xz 08-Nov-2023 09:36 11628 agda_2.6.3-1build1.dsc 08-Nov-2023 09:36 4939 agda_2.6.3-1build1_all.deb 10-Nov-2023 20:19 3758 agda_2.6.3-2.debian.tar.xz 07-Sep-2024 06:18 11636 agda_2.6.3-2.dsc 07-Sep-2024 06:18 4945 agda_2.6.3-2_all.deb 07-Sep-2024 06:18 3724 agda_2.6.3.orig.tar.gz 26-Oct-2023 15:43 1794269 agda_2.6.4.3-1.debian.tar.xz 25-Oct-2024 19:11 10460 agda_2.6.4.3-1.dsc 25-Oct-2024 19:11 5197 agda_2.6.4.3-1_all.deb 25-Oct-2024 21:15 3736 agda_2.6.4.3.orig.tar.gz 25-Oct-2024 19:11 1869461 elpa-agda2-mode_2.5.3-3build1_all.deb 25-Nov-2017 20:09 40852 elpa-agda2-mode_2.6.0.1-1build4_all.deb 08-Feb-2020 13:19 41180 elpa-agda2-mode_2.6.1-1build2.1_all.deb 16-Sep-2021 08:28 46174 elpa-agda2-mode_2.6.2.2-1.1build1_all.deb 12-Dec-2022 10:59 45378 elpa-agda2-mode_2.6.3-1build1_all.deb 10-Nov-2023 20:19 46250 elpa-agda2-mode_2.6.3-2_all.deb 07-Sep-2024 06:18 46304 elpa-agda2-mode_2.6.4.3-1_all.deb 25-Oct-2024 21:15 46334 libghc-agda-dev_2.4.2.5-1build1_arm64.deb 13-Jan-2016 00:25 16629572 libghc-agda-dev_2.4.2.5-1build1_armhf.deb 21-Jun-2017 18:09 13815724 libghc-agda-dev_2.5.3-3build1_arm64.deb 25-Nov-2017 22:59 23852936 libghc-agda-dev_2.5.3-3build1_armhf.deb 25-Nov-2017 22:59 19564348 libghc-agda-dev_2.6.0.1-1build4_arm64.deb 08-Feb-2020 14:53 23210212 libghc-agda-dev_2.6.3-1build1_arm64.deb 11-Nov-2023 00:55 29053628 libghc-agda-dev_2.6.3-2_arm64.deb 07-Sep-2024 07:09 28766522 libghc-agda-dev_2.6.4.3-1_arm64.deb 25-Oct-2024 21:15 27275062 libghc-agda-doc_2.3.2.2-1_all.deb 06-Nov-2013 17:28 2186306 libghc-agda-doc_2.4.2.5-1build1_all.deb 12-Jan-2016 22:59 2184422 libghc-agda-doc_2.5.3-3build1_all.deb 25-Nov-2017 20:09 2752184 libghc-agda-doc_2.6.0.1-1build4_all.deb 08-Feb-2020 13:19 4206940 libghc-agda-doc_2.6.1-1build2.1_all.deb 16-Sep-2021 08:28 5403312 libghc-agda-doc_2.6.2.2-1.1build1_all.deb 12-Dec-2022 10:59 5991684 libghc-agda-doc_2.6.3-1build1_all.deb 10-Nov-2023 20:19 6288876 libghc-agda-doc_2.6.3-2_all.deb 07-Sep-2024 06:18 6226040 libghc-agda-doc_2.6.4.3-1_all.deb 25-Oct-2024 21:15 6690584
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.