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-stdlib-doc_0.11-1_all.deb 05-Jan-2016 01:20 1265062 agda-stdlib-doc_0.14-1_all.deb 26-Nov-2017 18:04 1069008 agda-stdlib-doc_0.7-2_all.deb 27-May-2013 23:33 1748382 agda-stdlib-doc_1.1-1_all.deb 06-Sep-2019 15:48 1906288 agda-stdlib-doc_1.3-2_all.deb 02-Aug-2020 05:43 2447524 agda-stdlib-doc_1.7.1-1_all.deb 26-Aug-2022 19:09 2980102 agda-stdlib-doc_1.7.3-1_all.deb 10-Nov-2023 23:50 2981076 agda-stdlib_0.11-1.debian.tar.xz 04-Jan-2016 23:25 4600 agda-stdlib_0.11-1.dsc 04-Jan-2016 23:25 2105 agda-stdlib_0.11-1_all.deb 05-Jan-2016 01:20 17502462 agda-stdlib_0.11.orig.tar.gz 04-Jan-2016 23:25 253251 agda-stdlib_0.14-1.debian.tar.xz 26-Nov-2017 17:08 5188 agda-stdlib_0.14-1.dsc 26-Nov-2017 17:08 2100 agda-stdlib_0.14-1_all.deb 26-Nov-2017 18:04 18159516 agda-stdlib_0.14.orig.tar.gz 26-Nov-2017 11:14 285379 agda-stdlib_0.7-2.debian.tar.gz 27-May-2013 23:33 4455 agda-stdlib_0.7-2.dsc 27-May-2013 23:33 2077 agda-stdlib_0.7-2_all.deb 27-May-2013 23:33 18142868 agda-stdlib_0.7.orig.tar.gz 10-Apr-2013 18:03 226400 agda-stdlib_1.1-1.debian.tar.xz 06-Sep-2019 15:48 5528 agda-stdlib_1.1-1.dsc 06-Sep-2019 15:48 2117 agda-stdlib_1.1-1_all.deb 06-Sep-2019 15:48 47388280 agda-stdlib_1.1.orig.tar.gz 04-Sep-2019 13:38 570106 agda-stdlib_1.3-2.debian.tar.xz 02-Aug-2020 05:13 5640 agda-stdlib_1.3-2.dsc 02-Aug-2020 05:13 2113 agda-stdlib_1.3-2_all.deb 02-Aug-2020 05:43 73224528 agda-stdlib_1.3.orig.tar.gz 01-Aug-2020 23:33 751412 agda-stdlib_1.7.1-1.debian.tar.xz 06-Aug-2022 23:19 5664 agda-stdlib_1.7.1-1.dsc 06-Aug-2022 23:19 2157 agda-stdlib_1.7.1-1_all.deb 26-Aug-2022 19:09 102720392 agda-stdlib_1.7.1.orig.tar.gz 06-Aug-2022 23:19 940131 agda-stdlib_1.7.3-1.debian.tar.xz 04-Nov-2023 18:15 5732 agda-stdlib_1.7.3-1.dsc 04-Nov-2023 18:15 2157 agda-stdlib_1.7.3-1_all.deb 10-Nov-2023 23:50 120541094 agda-stdlib_1.7.3.orig.tar.gz 04-Nov-2023 18:15 942086
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.