The hardware and bandwidth for this mirror is donated by METANET, the Webhosting and Full Service-Cloud Provider.
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[@]metanet.ch.
../ LICENSE 31-Dec-2020 14:11 102 Makefile 02-Jan-2021 15:58 3808 README 02-Jan-2021 15:59 1100 dash.sty 29-Dec-2020 19:31 396 latex-doc-ptr.css 02-Jan-2021 16:03 7665 latex-doc-ptr.css.replacement 02-Jan-2021 12:11 7666 latex-doc-ptr.html 02-Jan-2021 16:03 38782 latex-doc-ptr.pdf 02-Jan-2021 15:59 169323 latex-doc-ptr.sty 02-Jan-2021 12:07 8890 latex-doc-ptr.tex 02-Jan-2021 16:03 15081 massage_html.awk 02-Jan-2021 12:09 634
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.