Previous releases of mCRL2

This page shows a list of historic releases of mCRL2.

Release 202206.0

Operating system	Release (202206.0)
Windows	Windows Installer (64-bit)
	Windows ZIP (64-bit)
macOS	macOS DMG (64-bit)
Ubuntu	PPA release
Fedora	Fedora RPM (64-bit)
Source	GZipped Tarball

Release 202106.0

Operating system	Release (202106.0)
Windows	Windows Installer (64-bit)
	Windows ZIP (64-bit)
macOS	macOS DMG (64-bit)
Ubuntu	PPA release
Fedora	Fedora RPM (64-bit)
Source	GZipped Tarball

Release 202006.0

Operating system	Release (202006.0)
Windows	Windows Installer (64-bit)
	Windows ZIP (64-bit)
macOS	macOS DMG (64-bit)
Ubuntu	PPA release
Fedora	Fedora RPM (64-bit)
Source	GZipped Tarball

Release 201908.0

Operating system	Release (201908.0)
Windows	Windows Installer (64-bit)
	Windows ZIP (64-bit)
macOS	macOS DMG (64-bit)
Ubuntu	PPA release
Fedora	Fedora RPM (64-bit)
Source	GZipped Tarball

Release 201808.0

Operating system	Release (201808.0)
Windows	Windows Installer (64-bit)
	Windows ZIP (64-bit)
macOS	macOS DMG (64-bit)
Ubuntu	PPA release
Fedora	Fedora RPM (64-bit)
Source	GZipped Tarball

Release 201707.1

Operating system	Release (201707.1)
Windows	Windows Installer (64-bit)
	Windows ZIP (64-bit)
Mac OS X	Mac OS X package (64-bit)
Ubuntu	PPA release
Fedora	Fedora RPM (64-bit)
Source	GZipped Tarball

Release 201409.1

Operating system	Release (201409.1)
Windows	Windows Installer (32-bit)
	Windows Installer (64-bit)
Mac OS X	Mac OS X package (64-bit)
Ubuntu	PPA release
Fedora	Fedora RPM (64-bit)
Source	GZipped Tarball

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

Release July 2011 (revision 9551)

Operating system	Release (201007)
Windows	Windows Installer (32-bit)
Linux	Ubuntu Launchpad PPA
	OpenSUSE 11.3 package (32-bit)
	OpenSUSE 11.3 package (64-bit)
	OpenSUSE 11.4 package (32-bit)
	OpenSUSE 11.4 package (64-bit)
	Fedora 13 package (32-bit)
	Fedora 13 package (64-bit)
	Fedora 15 package (32-bit)
	Fedora 15 package (64-bit)
Mac OS X (Darwin)	Darwin package (32-bit)
Source	GZipped Tarball

Release March 2011 (SVN revision 9030)

Operating system	Release (201103)
Windows	Windows Installer (32-bit)
	Windows Installer (64-bit)
Linux	Ubuntu Launchpad PPA
	OpenSUSE 11.2 package (32-bit)
	OpenSUSE 11.2 package (64-bit)
	OpenSUSE 11.3 package (32-bit)
	OpenSUSE 11.3 package (64-bit)
	OpenSUSE 11.4 package (32-bit)
	OpenSUSE 11.4 package (64-bit)
	Fedora 13 package (32-bit)
	Fedora 13 package (64-bit)
	Fedora 14 package (32-bit)
	Fedora 14 package (64-bit)
	Red Hat RHEL 6 (32-bit) (command-line only)
	Red Hat RHEL 6 (64-bit) (command-line only)
Mac OS X (Darwin)	Darwin package (32-bit)
Source	GZipped Tarball