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.
../ LICENSE 17-Oct-2025 19:55 1079 README.md 17-Oct-2025 19:55 797 document-pdf-ua1.rnc 17-Oct-2025 19:55 19575 document-pdf-ua1.rng 17-Oct-2025 19:55 74951 document-pdf-ua2.rnc 17-Oct-2025 19:55 19354 document-pdf-ua2.rng 17-Oct-2025 19:55 73372 latex-bible.rnc 17-Oct-2025 19:55 1932 latex-bible.rng 17-Oct-2025 19:55 5335 latex-bible17.rnc 17-Oct-2025 19:55 1853 latex-bible17.rng 17-Oct-2025 19:55 5267 latex-document-switch.rnc 17-Oct-2025 19:55 218 latex-document-switch.rng 17-Oct-2025 19:55 669 latex-document.rnc 17-Oct-2025 19:55 3749 latex-document.rng 17-Oct-2025 19:55 11193 latex-document17.rnc 17-Oct-2025 19:55 3703 latex-document17.rng 17-Oct-2025 19:55 11357 latex-mathml.rnc 17-Oct-2025 19:55 1552 latex-mathml.rng 17-Oct-2025 19:55 4640 latex-play.rnc 17-Oct-2025 19:55 293 latex-play.rng 17-Oct-2025 19:55 705 latex-play17.rnc 17-Oct-2025 19:55 196 latex-play17.rng 17-Oct-2025 19:55 614 ltx-talk.rnc 17-Oct-2025 19:55 549 ltx-talk.rng 17-Oct-2025 19:55 1457 mathml4-core.rnc 17-Oct-2025 19:55 11679 mathml4-core.rng 17-Oct-2025 19:55 25169 show-pdf-tags-inspect.lua 17-Oct-2025 19:55 9543 show-pdf-tags.1 17-Oct-2025 19:55 1437 show-pdf-tags.lua 17-Oct-2025 19:55 25221 show-pdf-tags_decode.lua 17-Oct-2025 19:55 9793 show-pdf-tags_format.pdf 17-Oct-2025 19:55 48595 show-pdf-tags_format.tex 17-Oct-2025 19:55 6445 show-pdf-tags_luapdfscanner.lua 17-Oct-2025 19:55 6826 show-pdf-tags_process_stream.lua 17-Oct-2025 19:55 7779 wtpdf.rnc 17-Oct-2025 19:55 875 wtpdf.rng 17-Oct-2025 19:55 1720
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.