Add pypy ppa, so that the newest version is installed

WISVCH · Sep 15, 2024 · 4779ee8 · 4779ee8
1 parent 8c6cd89
commit 4779ee8
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/docker/judgehost/add_repositories.sh b/docker/judgehost/add_repositories.sh
@@ -5,4 +5,7 @@ echo "deb [trusted=yes] https://sysopspackages.icpc.global/apt/jammy jammy main"
 echo 'Acquire::https::sysopspackages.icpc.global::Verify-Peer "false";
 Acquire::https::sysopspackages.icpc.global::Verify-Host "false";' >> /etc/apt/apt.conf.d/80trust-baylor-mirror
 
+# Add pypy repository
+add-apt-repository ppa:pypy/ppa
+
 apt-get update