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.
../ deheader_1.10-1.debian.tar.xz 21-Feb-2023 23:34 10112 deheader_1.10-1.dsc 21-Feb-2023 23:34 1940 deheader_1.10-1_all.deb 21-Feb-2023 23:34 27660 deheader_1.10-2.debian.tar.xz 03-May-2024 01:55 10232 deheader_1.10-2.dsc 03-May-2024 01:55 1940 deheader_1.10-2_all.deb 03-May-2024 02:41 27754 deheader_1.10.orig.tar.gz 21-Feb-2023 23:34 32403 deheader_1.3-1.debian.tar.xz 13-Jan-2016 23:40 9100 deheader_1.3-1.dsc 13-Jan-2016 23:40 1709 deheader_1.3-1_all.deb 13-Jan-2016 23:44 25718 deheader_1.3.orig.tar.gz 13-Jan-2016 23:40 23381 deheader_1.6-3.debian.tar.xz 01-Nov-2017 13:02 10112 deheader_1.6-3.dsc 01-Nov-2017 13:02 1934 deheader_1.6-3_all.deb 02-Nov-2017 09:57 26960 deheader_1.6-4.debian.tar.xz 04-May-2018 19:30 10272 deheader_1.6-4.dsc 04-May-2018 19:30 1914 deheader_1.6-4_all.deb 04-May-2018 22:14 27020 deheader_1.6.orig.tar.gz 02-Nov-2016 04:00 29422 deheader_1.8-1.debian.tar.xz 29-Jan-2022 23:24 10008 deheader_1.8-1.dsc 29-Jan-2022 23:24 1912 deheader_1.8-1_all.deb 29-Jan-2022 23:24 28222 deheader_1.8.orig.tar.gz 29-Jan-2022 23:24 31387
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.