Views
Previous releases
From MCRL2
Release July 2011 (revision 9551)
| NOTE: Please un-install all other versions of mCRL2 before upgrading |
|---|
| Platforms | Version | Filename | Type | |
|---|---|---|---|---|
| Binary |  | Windows XP, Vista, 7 | mcrl2-201107-1-win32.exe | 32bit Installer |
| 64bit Installer | ||||
| Binary |  | Lucid | Launchpad PPA | Package manager |
| Maverick | ||||
| Natty | ||||
| Oneiric | ||||
| Binary |  | OpenSuse 11.3 | mcrl2-201107-1.openSUSE_11.3.i586.rpm | RPM (32 Bit) |
| mcrl2-201107-1.openSUSE_11.3.x86_64.rpm | RPM (64 Bit) | |||
| OpenSuse 11.4 | mcrl2-201107-1.openSUSE_11.4.i586.rpm | RPM (32 Bit) | ||
| mcrl2-201107-1.openSUSE_11.4.x86_64.rpm | RPM (64 Bit) | |||
| Binary |  | Fedora 14 | mcrl2-201107-1.Fedora_14.i386.rpm | RPM (32 Bit) |
| mcrl2-201107-1.Fedora_14.x86_64.rpm | RPM (64 Bit) | |||
| Fedora 15 | mcrl2-201107-1.Fedora_15.i386.rpm | RPM (32 Bit) | ||
| mcrl2-201107-1.Fedora_15.x86_64.rpm | RPM (64 Bit) | |||
| Binary |  | Mac OS X 10.5 | mcrl2-201107-1-Darwin.dmg | 32 Bit |
| Mac OS X 10.6 | ||||
| Mac OS X 10.7 | ||||
| Source |  | Linux, FreeBSD, Mac OS X | mcrl2-201107-src.tar.gz | Tar GZip archive |
Release March 2011 (SVN revision 9030)
| NOTE: Please un-install all other versions of mCRL2 before upgrading |
|---|
| Platforms | Version | Filename | Type | |
|---|---|---|---|---|
| Binary | | Windows XP, Vista, 7 | mcrl2-201103-1-win32.exe | 32bit Installer |
| mcrl2-201103-1-win64.exe | 64bit Installer | |||
| Binary | | Lucid | Launchpad PPA | Package manager |
| Maverick | ||||
| Natty | ||||
| Binary | | OpenSuse 11.2 | mcrl2-201103-1.openSUSE_11.2.i586.rpm | RPM (32 Bit) |
| mcrl2-201103-1.openSUSE_11.2.x86_64.rpm | RPM (64 Bit) | |||
| OpenSuse 11.3 | mcrl2-201103-1.openSUSE_11.3.i586.rpm | RPM (32 Bit) | ||
| mcrl2-201103-1.openSUSE_11.3.x86_64.rpm | RPM (64 Bit) | |||
| OpenSuse 11.4 | mcrl2-201103-1.openSUSE_11.4.i586.rpm | RPM (32 Bit) | ||
| mcrl2-201103-1.openSUSE_11.4.x86_64.rpm | RPM (64 Bit) | |||
| Binary | | Fedora 13 | mcrl2-201103-1.Fedora_13.i386.rpm | RPM (32 Bit) |
| mcrl2-201103-1.Fedora_13.x86_64.rpm | RPM (64 Bit) | |||
| Fedora 14 | mcrl2-201103-1.Fedora_14.i386.rpm | RPM (32 Bit) | ||
| mcrl2-201103-1.Fedora_14.x86_64.rpm | RPM (64 Bit) | |||
| Binary |  | Red Hat RHEL 6 | Command line tools only | RPM (32 Bit) |
| Command line tools only | RPM (64 Bit) | |||
| Binary | | Mac OS X 10.5 | mcrl2-201103-2-Darwin.dmg | 32 Bit |
| Mac OS X 10.6 | ||||
| Source | | Linux, FreeBSD, Mac OS X | mcrl2-201103-src.tar.gz | Tar GZip archive |
Changes with respect to the previous release:
- the list of changes
Release September 2010 (SVN revision 8071 + bugfixes)
| NOTE: Please un-install all other versions of mCRL2 before upgrading |
|---|
This version fixes some critical bugs in the July 2010 release! We advice upgrading to the latest version.
| File | Type | Platforms | Notes | |
|---|---|---|---|---|
| Binary | mcrl2-201009-win32.exe | Installer |
| Please read installation instructions before using |
| Binary | mcrl2-201009-Ubuntu_9.10_(i686).deb | Deb Installer | Ubuntu 9.10 (i686) | |
| Binary | mcrl2-201009-Ubuntu_10.04.1_LTS(x86_64).deb | Deb Installer | Ubuntu 10.04 (x86 64) | |
| Binary | mcrl2-201009-openSUSE_11.3_(x86_64).rpm | RPM Installer | OpenSUSE 11.3 (x86 64) | |
| Binary | mcrl2-201009-Darwin.dmg | DMG image | MacOS-X 10.5 / 10.6 (32-bit) | |
| Source | mcrl2-201009-src.tar.gz | Tar GZip archive | Linux, FreeBSD, Mac OS X |
Release July 2010 (SVN revision 8071)
| File | Type | Platforms | Notes | |
|---|---|---|---|---|
| Binary | mcrl2-201007-win32.exe | Installer | Windows | Please read installation instructions before using |
| Binary | mcrl2-201007-Ubuntu_10.04_(i686) | Deb Installer | Ubuntu 10.04 (i686) | |
| Binary | mcrl2-201007-Ubuntu_10.04_(x86_64) | Deb Installer | Ubuntu 10.04 (x86 64) | |
| Binary | mcrl2-201007-OpenSuSE_11.3_(x86_64) | RPM Installer | OpenSUSE 11.3 (x86 64) | |
| Binary | mcrl2-201007-Darwin | DMG Installer | MacOS-X 10.5 / 10.6 (32-bit) | |
| Source | mcrl2-201007-src.tar.gz | Tar BZip2 archive | Linux, FreeBSD, Mac OS X |
Release January 2010 (SVN revision 7424)
| File | Type | Platforms | Notes | |
|---|---|---|---|---|
| Binary | mcrl2-201001-win32.exe | Installer | Windows | Please read installation instructions before using |
| Binary | mcrl2-201001-Ubuntu_9.10_(i686).deb | DEB Installer | Ubuntu 9.10 (x86) | |
| Binary | mcrl2-201001-Ubuntu_9.10_(x86_64).deb | DEB Installer | Ubuntu 9.10 (x86 64) | |
| Binary | mcrl2-201001-openSUSE_11.2_(x86_64).rpm | RPM Installer | openSUSE 11.2 (x86 64) | |
| Source | mcrl2-201001-src.tar.bz2 | Tar BZip2 archive | Linux, FreeBSD, Mac OS X |
Release January 2009 (SVN revision 5546)
| File | Type | Platforms | |
|---|---|---|---|
| Binary | mcrl2-200901-bin-mingw32.exe | Self-extracting Zip file | Windows |
| Source | mcrl2-200901-src.tar.bz2 | Tar BZip2 archive | Linux, FreeBSD, Mac OS X |
- a slideshow containing the most important changes
Release June 2008 (SVN revision 4838)
| File | Type | Platforms | |
|---|---|---|---|
| Binary | mcrl2-200807.msi | Installable package | Windows |
| Binary | mcrl2-200807-bin-mingw32.exe | Self-extracting Zip file | Windows |
| Source | mcrl2-200807-1.src.tar.bz2 | Tar BZip2 archive | Linux, FreeBSD, Mac OS X |
Release January 2008 (SVN revision 4041)
| File | Type | Platforms | |
|---|---|---|---|
| Binary | mcrl2-200801-bin-mingw32.exe | Self-extracting Zip file | Windows |
| Source | mcrl2-200801-src.tar.bz2 | Tar BZip2 archive | Linux, FreeBSD, Mac OS X |
Release July 2007 (SVN revision 3196)
| File | Type | Platforms | |
|---|---|---|---|
| Binary | mcrl2-200707-bin-mingw32.exe | Self-extracting Zip file | Windows |
| Source | mcrl2-200707-src.tar.bz2 | Tar BZip2 archive | Linux, FreeBSD, Mac OS X |
This page was last modified on 19 October 2011, at 07:25. This page has been accessed 11,741 times.
Copyright © 2005-2012 Technische Universiteit Eindhoven.
Copyright © 2005-2012 Technische Universiteit Eindhoven.
