Previous releases of mCRL2

This page shows a list of historic releases of mCRL2.

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

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