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

Release September 2010 (SVN revision 8071 + bugfixes)

Release July 2010 (SVN revision 8071)

Release January 2010 (SVN revision 7424)

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