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.
../ ada-reference-manual-2005_2012.3-2_all.deb 08-May-2018 11:28 13442124 ada-reference-manual-2005_2020.1commit85143dcb-..> 20-Oct-2020 23:35 14283672 ada-reference-manual-2005_2020.1commit85143dcb-..> 25-Jun-2022 16:44 14283440 ada-reference-manual-2012_2012.3-2_all.deb 08-May-2018 11:28 16436500 ada-reference-manual-2012_2020.1commit85143dcb-..> 20-Oct-2020 23:35 17422024 ada-reference-manual-2012_2020.1commit85143dcb-..> 25-Jun-2022 16:44 17421096 ada-reference-manual-2020_2020.1commit85143dcb-..> 20-Oct-2020 23:35 19864016 ada-reference-manual-2020_2020.1commit85143dcb-..> 25-Jun-2022 16:44 19862800 ada-reference-manual_2012.3-2.debian.tar.xz 08-May-2018 10:47 7164 ada-reference-manual_2012.3-2.dsc 08-May-2018 10:47 2246 ada-reference-manual_2012.3.orig.tar.gz 21-Jun-2017 16:23 2578264 ada-reference-manual_2020.1commit85143dcb-2.deb..> 20-Oct-2020 23:05 6204 ada-reference-manual_2020.1commit85143dcb-2.dsc 20-Oct-2020 23:05 2410 ada-reference-manual_2020.1commit85143dcb-4.deb..> 25-Jun-2022 15:38 7104 ada-reference-manual_2020.1commit85143dcb-4.dsc 25-Jun-2022 15:38 2419 ada-reference-manual_2020.1commit85143dcb.orig...> 28-Sep-2020 12:49 4090263
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.