diff --git a/website/download.shtml b/website/download.shtml index e4ee2456..520a494d 100644 --- a/website/download.shtml +++ b/website/download.shtml @@ -45,26 +45,6 @@ See the Docker Hub repository for the DOMserver to get started.
-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 - https://www.domjudge.org/repokey.asc | sudo tee /etc/apt/trusted.gpg.d/domjudge.org.asc-
or first check our signatures on the key for authenticity.
-Then add the following lines to /etc/apt/sources.list
:
-deb https://domjudge.org/debian unstable/ -deb-src https://domjudge.org/debian unstable/ --
Note the slash following unstable
and the missing
-section(s) main contrib non-free
.
-
The snapshot directory contains nightly builds,