Download

The latest stable release is version 8.1.3, dated 19 September 2022.

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.

Other downloads

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