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.3.2.2-1_amd64.deb 06-Nov-2013 17:28 5476328 agda-bin_2.3.2.2-1_i386.deb 06-Nov-2013 17:28 5094722 agda-bin_2.4.2.5-1build1_amd64.deb 12-Jan-2016 22:59 4803616 agda-bin_2.4.2.5-1build1_i386.deb 12-Jan-2016 22:45 4784082 agda-bin_2.5.3-3build1_amd64.deb 25-Nov-2017 20:09 5728080 agda-bin_2.5.3-3build1_i386.deb 25-Nov-2017 20:09 5735576 agda-bin_2.6.0.1-1build4_amd64.deb 08-Feb-2020 13:19 6571852 agda-bin_2.6.1-1build2.1_amd64.deb 16-Sep-2021 08:28 9541384 agda-bin_2.6.3-1build1_amd64.deb 10-Nov-2023 20:19 10985550 agda-bin_2.6.3-2_amd64.deb 07-Sep-2024 06:18 10935004 agda-bin_2.6.4.3-1_amd64.deb 25-Oct-2024 21:15 10540652 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.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.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.3.2.2-1_amd64.deb 06-Nov-2013 17:28 13586672 libghc-agda-dev_2.3.2.2-1_i386.deb 06-Nov-2013 17:28 12906540 libghc-agda-dev_2.4.2.5-1build1_amd64.deb 12-Jan-2016 22:59 10670346 libghc-agda-dev_2.4.2.5-1build1_i386.deb 12-Jan-2016 22:45 10538222 libghc-agda-dev_2.5.3-3build1_amd64.deb 25-Nov-2017 20:09 15874428 libghc-agda-dev_2.5.3-3build1_i386.deb 25-Nov-2017 20:09 15587704 libghc-agda-dev_2.6.0.1-1build4_amd64.deb 08-Feb-2020 13:19 19681864 libghc-agda-dev_2.6.1-1build2.1_amd64.deb 16-Sep-2021 08:28 40255774 libghc-agda-dev_2.6.3-1build1_amd64.deb 10-Nov-2023 20:19 25485196 libghc-agda-dev_2.6.3-2_amd64.deb 07-Sep-2024 06:18 25196572 libghc-agda-dev_2.6.4.3-1_amd64.deb 25-Oct-2024 21:15 24165586 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.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.