Previous releases of mCRL2

This page shows a list of historic releases of mCRL2.

Release 201210.0

Operating system	Release (201210.0)
Windows	Windows Installer (32-bit)
	Windows Installer (64-bit)
Linux	Ubuntu Launchpad PPA
Mac OS X (Darwin)	Darwin package
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)
	Windows Installer (64-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)
	Windows Installer (64-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

Release September 2010 (SVN revision 8071 + bugfixes)

Operating system	Release (201009)
Windows	Windows Installer (32-bit)
Linux	Ubuntu 9.10 package (32-bit)
	Ubuntu 10.4.1 package (64-bit)
	OpenSUSE 11.3 package (64-bit)
Mac OS X (Darwin)	Darwin package (32-bit)
Source	GZipped Tarball

Release July 2010 (SVN revision 8071)

Operating system	Release (201007)
Windows	Windows Installer (32-bit)
Linux	Ubuntu 10.4 package (32-bit)
	Ubuntu 10.4 package (64-bit)
	OpenSUSE 11.3 package (64-bit)
Mac OS X (Darwin)	Darwin package (32-bit)
Source	GZipped Tarball

Release January 2010 (SVN revision 7424)

Operating system	Release (201001)
Windows	Windows Installer (32-bit)
Linux	Ubuntu 9.10 package (32-bit)
	Ubuntu 9.10 package (64-bit)
	OpenSUSE 11.2 package (64-bit)
Source	BZipped Tarball

Release January 2009 (SVN revision 5546)

Operating system	Release (200901)
Windows	Windows Installer (32-bit)
Source	BZipped Tarball

Release July 2008 (SVN revision 4838)

Operating system	Release (200807)
Windows	Self-extracting ZIP file (32-bit)
	Windows Installer (32-bit)
Source	BZipped Tarball

Release January 2008 (SVN revision 4041)

Operating system	Release (200801)
Windows	Self-extracting ZIP file (32-bit)
Source	BZipped Tarball

Release July 2007 (SVN revision 3196)

Operating system	Release (200707)
Windows	Self-extracting ZIP file (32-bit)
Source	BZipped Tarball