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.
../ src/ 29-Sep-2022 23:53 - DEPENDS.txt 11-Sep-2022 02:20 5 LICENSE 11-Sep-2022 02:20 18092 Makefile 11-Sep-2022 02:20 2317 README.md 11-Sep-2022 02:20 3382 cmd.mk 11-Sep-2022 02:20 738 demo.tex 11-Sep-2022 02:20 676 dvisirule-expg.mk 11-Sep-2022 02:20 988 dvisirule-marker.awk 11-Sep-2022 02:20 2108 dvisirule-pgnum.awk 11-Sep-2022 02:20 1231 dvisirule.dtx 11-Sep-2022 02:20 14894 dvisirule.ins 11-Sep-2022 02:20 139 dvisirule.pdf 29-Sep-2022 23:53 60244 dvisirule.sh 11-Sep-2022 02:20 3622 fonts.tex 11-Sep-2022 02:20 154 reconf.sh 11-Sep-2022 02:20 130
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.