Previous releases of mCRL2

This page shows a list of historic releases of mCRL2.

Release 201409.1

N.B. The tool lpsxsim fails to load .lps files under Windows. A new version of this tool can be downloaded here: http://www.mcrl2.org/download/release/lpsxsim_32bit.zip and http://www.mcrl2.org/download/release/lpsxsim_64bit.zip. The tool should be run standalone from the directory in which the zip archive is extracted, otherwise the Qt libraries may not be found.

Release 201210.1

Operating system Release (201210.1)
Windows Windows Installer (32-bit)
Windows Installer (64-bit)
Linux Ubuntu Launchpad PPA
Source GZipped Tarball

Release 201210.0

Operating system Release (201210.0)
Windows Windows Installer (32-bit)
Windows Installer (64-bit)
Linux Ubuntu Launchpad PPA
Source GZipped Tarball

Release 201202.0

Operating system Release (201202.0)
Windows Windows Installer (32-bit)
Windows Installer (64-bit)
Linux Ubuntu Launchpad PPA
Mac OS X (Darwin) Darwin package
Source GZipped Tarball

Release July 2011.1

Operating system Release (201007.1)
Windows Windows Installer (32-bit)
Linux Ubuntu Launchpad PPA
Mac OS X (Darwin) Darwin package
Source GZipped Tarball