Source downloads are available from our downloads page. This page is temporary as we are in the process of reorganising the project's hosting, we hope to improve this in the future.

Debian packages are also available, instructions for using them are here.


The Mercury implementation is free software. It is Copyright (C) 1993-2013 The University of Melbourne.

The compiler and tools are distributed under the terms of the GNU General Public License (GPL). See the file COPYING for copying permission.

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.

Stable Release

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

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.