DOMjudge - Download

The latest stable release is version 5.1.3, dated 12 February 2017.

Also available is the previous release series 5.0.5, dated 12 February 2017.

download here

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

Debian Packages

There are also Debian GNU/Linux packages available for the amd64 architecture; other architectures might be buildable from the source packages. The packages work on Wheezy and newer, and also on the various versions of Ubuntu.

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

curl -o - | 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 unstable/
deb-src 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 this README file (which is also available in the DOMjudge packaging Git repository and as /README on the image) 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.