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.

Index of /ubuntu-ports/pool/universe/m/mcrl2/

../
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_arm64.deb                  20-Oct-2013 03:58            11296954
mcrl2_201210.1-1ubuntu1_armhf.deb                  05-Nov-2012 18:04             9327762
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_arm64.deb                  12-Jan-2015 01:23             7123022
mcrl2_201409.0-1ubuntu1_armhf.deb                  12-Jan-2015 01:53             5491262
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_arm64.deb                  11-Nov-2017 07:25             6920860
mcrl2_201409.0-1ubuntu3_armhf.deb                  11-Nov-2017 07:25             5220988
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.