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 16-Nov-1996 00:00 1355 boxes.ml 16-Nov-1996 00:00 4287 boxes.mli 16-Nov-1996 00:00 598 depend 16-Nov-1996 00:00 511 latexcode.ml 16-Nov-1996 00:00 6718 latexcode.mli 16-Nov-1996 00:00 100 lexer.ml 16-Nov-1996 00:00 1812 lexer.mli 16-Nov-1996 00:00 237 main.ml 16-Nov-1996 00:00 1841 parser.ml 16-Nov-1996 00:00 1425 parser.mli 16-Nov-1996 00:00 377 picture.ml 16-Nov-1996 00:00 4144 picture.mli 16-Nov-1996 00:00 1501 syngen.m 16-Nov-1996 00:00 1157
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.