Source downloads are available from our downloads page.
Debian packages are also available, instructions for using them are here.
The Mercury implementation is free software.
Copyright © 1993–2012 The University of Melbourne.
Copyright © 2013–2020 The Mercury team.
The Mercury libraries and runtime (the files in the library, trace, browser, ssdb, mdbcomp and runtime subdirectories) are distributed under the terms of the GNU Library General Public License (LGPL). See the file COPYING.LIB for copying permissions for those files.
The most stable release will be a numbered release, such as 0.10.1, 0.13.0 or 10.04. These releases have been extensively tested.
The stable release naming scheme was 0.1 up to 0.13 for the first thirteen stable releases. In February 2010 the Mercury project decided to name each stable release by using the year and month of the release. For example 10.04 is for a release made in April 2010.
Release of the day
To cater for those who need access to the latest features of Mercury, we release a periodic snapshot of the development system. This is called a "release of the day (ROTD)". Each ROTD is given a version number "rotd-YYYY-MM-DD" according to the date on which it was built. ROTDs are not necessarily daily.
See our downloads page.
Anonymous git access
Anonymous access to our git repository is also available via github at https://github.com/Mercury-Language.
Note that you need Mercury installed in order to build Mercury from git. In other words, you must bootstrap using one of the source distributions above. When building the latest revision from git, you should use the most recent ROTD source distribution; while older ROTDs may work, there is no guarantee that they will. Generally you should bootstrap using an ROTD that approximately matches the age of the git revision that you want to build. See README.bootstrap for more details.