Download

The latest stable release is version 7.3.2, dated 23 November 2020.

Also available is the previous release series 7.2.1, dated 6 May 2020.

To get notifications of new releases, subscribe to the low volume announcements mailing list.

DOMjudge docker images

Official Docker images for both the domserver and judgehost are also available. See the Docker Hub repository for the DOMserver to get started.

Debian Packages

There are Debian packages available for the amd64 architecture; other architectures might be buildable from the source packages. The packages are built and tested on Debian stable, but also on newer versions and the various versions of Ubuntu.

To install these packages, add our repository GPG key directly to APT with

curl -o - https://www.domjudge.org/repokey.asc | sudo apt-key add -

or first check our signatures on the key for authenticity. Then add the following lines to /etc/apt/sources.list:

deb     https://domjudge.org/debian unstable/
deb-src https://domjudge.org/debian unstable/

Note the slash following unstable and the missing section(s) main contrib non-free.

DOMjudge-live images

We also provide DOMjudge-live images to run DOMjudge straight from an USB stick, as virtual machine, or to be written to harddisk. See the documentation here for more details on how use these.

Other downloads

Also available are the sources of included {b,d}ash shell binaries.

The snapshot directory contains nightly builds, including changelog and documentation, use at your own risk.