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.
../ lhs2tex_1.18.1-2.debian.tar.gz 25-May-2013 05:34 11408 lhs2tex_1.18.1-2.dsc 25-May-2013 05:34 1421 lhs2tex_1.18.1-2_arm64.deb 06-Apr-2014 08:53 1434866 lhs2tex_1.18.1-2_armhf.deb 27-May-2013 10:34 1873086 lhs2tex_1.18.1.orig.tar.gz 25-May-2013 05:34 661053 lhs2tex_1.19-2.debian.tar.xz 10-Dec-2015 11:34 10736 lhs2tex_1.19-2.dsc 10-Dec-2015 11:34 2161 lhs2tex_1.19-2_arm64.deb 10-Dec-2015 11:34 1661086 lhs2tex_1.19-2_armhf.deb 10-Dec-2015 11:35 1594480 lhs2tex_1.19-5.debian.tar.xz 06-Jun-2017 05:13 6592 lhs2tex_1.19-5.dsc 06-Jun-2017 05:13 2047 lhs2tex_1.19-5_arm64.deb 06-Jun-2017 05:18 1930352 lhs2tex_1.19-5_armhf.deb 06-Jun-2017 05:18 1830178 lhs2tex_1.19.orig.tar.gz 30-Jun-2015 05:44 658353 lhs2tex_1.22-2build3.debian.tar.xz 08-Feb-2020 12:04 6972 lhs2tex_1.22-2build3.dsc 08-Feb-2020 12:04 2100 lhs2tex_1.22-2build3_arm64.deb 08-Feb-2020 13:19 859064 lhs2tex_1.22-2build3_armhf.deb 08-Feb-2020 13:19 824012 lhs2tex_1.22.orig.tar.gz 12-Dec-2018 21:23 679988 lhs2tex_1.24-1build2.1.debian.tar.xz 15-Sep-2021 11:58 6956 lhs2tex_1.24-1build2.1.dsc 15-Sep-2021 11:58 2108 lhs2tex_1.24-1build2.1_arm64.deb 15-Sep-2021 13:09 1027252 lhs2tex_1.24-1build2.1_armhf.deb 15-Sep-2021 13:09 1020428 lhs2tex_1.24.orig.tar.gz 16-Jun-2020 23:18 775885
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.