Previous releases of mCRL2

This page shows a list of historic releases of mCRL2.

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