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.
../ mcrl2_201210.1-1ubuntu1.debian.tar.gz 05-Nov-2012 13:33 7073 mcrl2_201210.1-1ubuntu1.dsc 05-Nov-2012 13:33 2154 mcrl2_201210.1-1ubuntu1_amd64.deb 05-Nov-2012 13:33 12974108 mcrl2_201210.1-1ubuntu1_i386.deb 05-Nov-2012 13:33 13591220 mcrl2_201210.1.orig.tar.gz 01-Nov-2012 08:33 8218004 mcrl2_201409.0-1ubuntu1.debian.tar.xz 12-Jan-2015 01:03 6844 mcrl2_201409.0-1ubuntu1.dsc 12-Jan-2015 01:03 1505 mcrl2_201409.0-1ubuntu1_amd64.deb 12-Jan-2015 01:13 7987954 mcrl2_201409.0-1ubuntu1_i386.deb 12-Jan-2015 01:13 8010836 mcrl2_201409.0-1ubuntu3.debian.tar.xz 11-Nov-2017 07:24 6952 mcrl2_201409.0-1ubuntu3.dsc 11-Nov-2017 07:24 2163 mcrl2_201409.0-1ubuntu3_amd64.deb 11-Nov-2017 07:24 7543524 mcrl2_201409.0-1ubuntu3_i386.deb 11-Nov-2017 07:25 7897552 mcrl2_201409.0.orig.tar.gz 12-Jan-2015 01:03 17457340
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.