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.
../ cmpguid.dvi 19-Sep-2000 11:56 2512 cmpguid.tex 19-Sep-2000 11:56 1679 example.dvi 19-Sep-2000 11:56 60828 example.tex 19-Sep-2000 11:56 52835 figures.zip 19-Sep-2000 11:56 23814 psoutput.zip 19-Sep-2000 11:56 439076 read.me 19-Sep-2000 11:56 1183 svcmp.clo 19-Sep-2000 11:56 8698 svjour-cmp.zip 19-Sep-2000 11:56 658299 svjour.cls 19-Sep-2000 11:56 41636 template.tex 19-Sep-2000 11:56 3061 usrguide.dvi 19-Sep-2000 11:56 28500 usrguide.pdf 19-Sep-2000 11:56 197756
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.