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.
../ glue.web 11-Jan-2021 08:34 17104 tex.web 05-Feb-2021 05:38 1031999 texbook.tex 26-Jan-2021 16:24 1386369 trip.dvi 26-Jan-2021 10:21 2920 trip.fot 26-Jan-2021 10:21 2445 trip.log 05-Feb-2021 23:00 184018 trip.pl 06-Oct-1989 16:35 16990 trip.tex 14-Jan-2021 22:12 22677 trip.tfm 21-Dec-2002 01:07 3116 trip.typ 26-Jan-2021 10:21 18060 tripin.fot 26-Jan-2021 10:21 2834 tripin.log 26-Jan-2021 10:21 12900 tripman.tex 13-Jan-1992 23:55 19342 tripos.tex 26-Jan-1992 06:09 59
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.