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.
../ Makefile 26-May-1993 00:00 4219 deblank.awk 06-Jul-1991 00:00 482 makeindex.dvi 23-Nov-1991 00:00 21840 makeindex.hlp 10-Dec-1991 00:00 34068 makeindex.info 10-Dec-1991 00:00 62392 makeindex.l 26-May-1993 00:00 28873 makeindex.l.orig 10-Dec-1991 00:00 28082 makeindex.pdf 18-Apr-2006 14:22 82528 makeindex.ps 10-Dec-1991 00:00 66621 makeindex.tex 31-Aug-1989 00:00 17320 makeindex.vms 30-May-1992 00:00 29323 manpages.dvi 10-Dec-1991 00:00 39164
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.