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.
../ README.md 03-Nov-2026 22:20 736 duplicat-doc.pdf 03-Nov-2026 22:20 179604 duplicat-doc.tex 09-Aug-2026 11:03 1200 duplicat.sty 10-Jan-2024 09:13 1135 newproof-doc.pdf 03-Nov-2026 22:20 195947 newproof-doc.tex 09-Aug-2026 10:45 1926 newproof.sty 03-Nov-2026 22:19 3084 onepagem-doc.pdf 03-Nov-2026 22:20 174552 onepagem-doc.tex 09-Aug-2026 11:02 1056 onepagem.sty 10-Jan-2024 09:13 1146 time-doc.pdf 03-Nov-2026 22:20 181451 time-doc.tex 09-Aug-2026 11:03 984 time.sty 10-Jan-2024 09:13 1109
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.