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.
../ hasktags_0.69.1-3.debian.tar.xz 06-Dec-2015 11:24 2708 hasktags_0.69.1-3.dsc 06-Dec-2015 11:24 2187 hasktags_0.69.1-3_arm64.deb 09-Dec-2015 16:54 1157774 hasktags_0.69.1-3_armhf.deb 09-Dec-2015 15:05 1142730 hasktags_0.69.1.orig.tar.gz 13-Aug-2015 17:34 55906 hasktags_0.69.3-1.debian.tar.xz 07-Jul-2017 17:18 2964 hasktags_0.69.3-1.dsc 07-Jul-2017 17:18 2256 hasktags_0.69.3-1_arm64.deb 07-Jul-2017 17:33 1372740 hasktags_0.69.3-1_armhf.deb 07-Jul-2017 17:33 1320400 hasktags_0.69.3.orig.tar.gz 07-Jul-2017 17:18 62888 hasktags_0.71.2-1build3.debian.tar.xz 08-Feb-2020 11:48 3456 hasktags_0.71.2-1build3.dsc 08-Feb-2020 11:48 2444 hasktags_0.71.2-1build3_arm64.deb 08-Feb-2020 13:06 622960 hasktags_0.71.2-1build3_armhf.deb 08-Feb-2020 13:06 580860 hasktags_0.71.2-2build1.debian.tar.xz 15-Sep-2021 11:58 3732 hasktags_0.71.2-2build1.dsc 15-Sep-2021 11:58 2444 hasktags_0.71.2-2build1_arm64.deb 15-Sep-2021 12:41 712518 hasktags_0.71.2-2build1_armhf.deb 15-Sep-2021 13:09 692764 hasktags_0.71.2.orig.tar.gz 13-Dec-2018 17:23 58919 hasktags_0.72.0-1.debian.tar.xz 20-Jul-2022 23:19 3396 hasktags_0.72.0-1.dsc 20-Jul-2022 23:19 2431 hasktags_0.72.0-1_arm64.deb 24-Aug-2022 19:19 2099560 hasktags_0.72.0-1_armhf.deb 24-Aug-2022 19:19 2320384 hasktags_0.72.0-2.debian.tar.xz 05-Jan-2024 05:44 3692 hasktags_0.72.0-2.dsc 05-Jan-2024 05:44 2382 hasktags_0.72.0-2_arm64.deb 05-Jan-2024 05:45 2030706 hasktags_0.72.0-2_armhf.deb 05-Jan-2024 05:45 2957742 hasktags_0.72.0.orig.tar.gz 20-Jul-2022 23:19 59000
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.