We've created Debian packages (amd64 only) and a new live image based on
DOMjudge 3.4.2 that we released on 8 December 2013. The live image is
based on the latest Debian Wheezy 7.4 point release (i386 arch).
These can be found at the usual locations, linked from our downloads
DOMjudge-announce mailing list