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.2.2-1.1build1_amd64.deb 12-Dec-2022 10:59 8345170 agda-bin_2.6.3-1build1_amd64.deb 10-Nov-2023 20:19 10985550 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.orig.tar.gz 26-Oct-2023 15:43 1794269 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 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.2.2-1.1build1_amd64.deb 12-Dec-2022 10:59 26726334 libghc-agda-dev_2.6.3-1build1_amd64.deb 10-Nov-2023 20:19 25485196 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
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.