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_amd64.deb 27-May-2013 10:33 859608 lhs2tex_1.18.1-2_i386.deb 27-May-2013 10:04 825680 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_amd64.deb 10-Dec-2015 11:34 773364 lhs2tex_1.19-2_i386.deb 10-Dec-2015 11:35 780188 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_amd64.deb 06-Jun-2017 05:13 800154 lhs2tex_1.19-5_i386.deb 06-Jun-2017 05:13 800156 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_amd64.deb 08-Feb-2020 14:18 764004 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_amd64.deb 15-Sep-2021 12:41 903052 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.