The latest stable release is version 8.2.3, dated 28 February 2024.

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 - | sudo tee /etc/apt/trusted.gpg.d/

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

deb unstable/
deb-src 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.