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