Hello all,
We've created Debian packages and a new DOMjudge live image based on the latest 5.1.1 release.
Instructions on how to download and use these can be found at: https://www.domjudge.org/download
On behalf of the DOMjudge developers, Jaap
domjudge-announce@domjudge.org