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.
../ CHANGELOG.md 29-Oct-2026 14:57 1242 LICENSE 29-Oct-2026 14:57 749 MANIFEST.md 29-Oct-2026 14:57 777 README.md 29-Oct-2026 14:57 4098 matchedsplit.pdf 29-Oct-2026 14:57 326642 matchedsplit.sty 29-Oct-2026 14:57 12936 matchedsplit.tex 29-Oct-2026 14:57 16329 numbered_example.tex 29-Oct-2026 14:57 962
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.