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 05-Feb-2026 18:45 1079 README.md 05-Feb-2026 18:45 846 document-pdf-ua1.rnc 05-Feb-2026 18:45 21057 document-pdf-ua1.rng 05-Feb-2026 18:45 78861 document-pdf-ua2.rnc 05-Feb-2026 18:45 20876 document-pdf-ua2.rng 05-Feb-2026 18:45 77450 latex-bible.rnc 05-Feb-2026 18:45 1932 latex-bible.rng 05-Feb-2026 18:45 5335 latex-bible17.rnc 05-Feb-2026 18:45 1853 latex-bible17.rng 05-Feb-2026 18:45 5267 latex-custom.rnc 05-Feb-2026 18:45 3396 latex-custom.rng 05-Feb-2026 18:45 8762 latex-custom17.rnc 05-Feb-2026 18:45 624 latex-custom17.rng 05-Feb-2026 18:45 1753 latex-document-switch.rnc 05-Feb-2026 18:45 218 latex-document-switch.rng 05-Feb-2026 18:45 669 latex-document.rnc 05-Feb-2026 18:45 4106 latex-document.rng 05-Feb-2026 18:45 12632 latex-document17.rnc 05-Feb-2026 18:45 4060 latex-document17.rng 05-Feb-2026 18:45 12806 latex-mathml.rnc 05-Feb-2026 18:45 1552 latex-mathml.rng 05-Feb-2026 18:45 4640 latex-play.rnc 05-Feb-2026 18:45 293 latex-play.rng 05-Feb-2026 18:45 705 latex-play17.rnc 05-Feb-2026 18:45 196 latex-play17.rng 05-Feb-2026 18:45 614 latex-test.rnc 05-Feb-2026 18:45 230 latex-test.rng 05-Feb-2026 18:45 681 ltx-talk.rnc 05-Feb-2026 18:45 577 ltx-talk.rng 05-Feb-2026 18:45 1629 mathml4-core.rnc 05-Feb-2026 18:45 11679 mathml4-core.rng 05-Feb-2026 18:45 25169 show-pdf-tags-inspect.lua 05-Feb-2026 18:45 9543 show-pdf-tags.1 05-Feb-2026 18:45 1570 show-pdf-tags.lua 05-Feb-2026 18:45 25596 show-pdf-tags_decode.lua 05-Feb-2026 18:45 9793 show-pdf-tags_format.pdf 05-Feb-2026 18:45 48595 show-pdf-tags_format.tex 05-Feb-2026 18:45 6445 show-pdf-tags_luapdfscanner.lua 05-Feb-2026 18:45 6826 show-pdf-tags_process_stream.lua 05-Feb-2026 18:45 7779 wtpdf.rnc 05-Feb-2026 18:45 875 wtpdf.rng 05-Feb-2026 18:45 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.