.. include:: ../_includes/toplevel.inc

.. The links to the release are hard coded in downloads-release.inc.
.. The nightly builds are linked in downloads-nightly.inc.

.. include:: ../_includes/downloads-release.inc
.. include:: ../_includes/downloads-nightly.inc

.. _download:

Download the latest release of mCRL2
====================================

The mCRL2 toolkit can be run on a number of different platforms. For some
platforms, precompiled binaries are available. The table below provides the
latest release of the toolset.


   +------------------------+------------------------+
   |Operating system        |Release (|release|)     |
   +========================+========================+
   |Windows                 | |bin_w64|              |
   |                        +------------------------+
   |                        | |zip_w64|              |
   +------------------------+------------------------+
   |macOS                   | |bin_osx|              |
   +------------------------+------------------------+
   |Ubuntu                  | |bin_ppa|_             |
   +------------------------+------------------------+
   |Fedora                  | |bin_fedora64|         |
   +------------------------+------------------------+
   |Source                  | |src_tgz|              |
   +------------------------+------------------------+


Stable releases for Arch Linux are available via the `Arch User Repository <https://aur.archlinux.org/packages/mcrl2/>`_.
This package is currently maintained by Jorai Rijsdijk.

.. note::

   The Windows release has received a minor fix on the 12th of July, 2021,
   which resolves not being able to open mcrl2ide from mcrl2-gui.

Download a nightly build of mCRL2
=================================

Directly installable packages of the mCRL2 toolset are constructed every night.
They are available here.

   +------------------------+-------------------------+
   |Operating system        |Nightly build (|version|)|
   +========================+=========================+
   |Windows                 | |bin_w64n|              |
   |                        +-------------------------+
   |                        | |zip_w64n|              |
   +------------------------+-------------------------+
   |macOS                   | |bin_osx64n|            |
   +------------------------+-------------------------+
   |Ubuntu                  | |bin_deb32n|            |
   |                        +-------------------------+
   |                        | |bin_deb64n|            |
   +------------------------+-------------------------+
   |Fedora                  | |bin_fedora64n|         |
   +------------------------+-------------------------+
   |Source                  | |src_tgzn|              |
   +------------------------+-------------------------+

If you are using a Linux distribution that is not listed, you may wish to try
:ref:`compiling mCRL2 yourself <build>`.


Known issues
------------

There are no major known issues at the moment.



Previous releases
-----------------

Earlier versions of mCRL2 are listed in the :ref:`historic_releases` section.