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.17-1_all.deb 24-Nov-2018 01:48 1393968 agda-stdlib-doc_1.3-2_all.deb 01-Aug-2020 13:34 2460172 agda-stdlib-doc_1.7.1-1_all.deb 06-Aug-2022 18:46 3039368 agda-stdlib-doc_2.1-4_all.deb 25-Nov-2024 19:39 3780056 agda-stdlib_0.17-1.debian.tar.xz 24-Nov-2018 01:07 5312 agda-stdlib_0.17-1.dsc 24-Nov-2018 01:07 2234 agda-stdlib_0.17-1_all.deb 24-Nov-2018 01:48 33021876 agda-stdlib_0.17.orig.tar.gz 24-Nov-2018 01:07 397328 agda-stdlib_1.3-2.debian.tar.xz 01-Aug-2020 12:54 5640 agda-stdlib_1.3-2.dsc 01-Aug-2020 12:54 2113 agda-stdlib_1.3-2_all.deb 01-Aug-2020 13:34 73237088 agda-stdlib_1.3.orig.tar.gz 31-Jul-2020 11:50 751412 agda-stdlib_1.7.1-1.debian.tar.xz 06-Aug-2022 17:10 5664 agda-stdlib_1.7.1-1.dsc 06-Aug-2022 17:10 2157 agda-stdlib_1.7.1-1_all.deb 06-Aug-2022 18:46 100043028 agda-stdlib_1.7.1.orig.tar.gz 06-Aug-2022 17:10 940131 agda-stdlib_2.1-4.debian.tar.xz 25-Nov-2024 19:03 6060 agda-stdlib_2.1-4.dsc 25-Nov-2024 19:03 2224 agda-stdlib_2.1-4_all.deb 25-Nov-2024 19:39 143710196 agda-stdlib_2.1.orig.tar.gz 18-Oct-2024 21:34 1211622
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.