Added pypy repository (stole from MaartenW)

WISVCH · Sep 20, 2024 · 11596aa · 11596aa
1 parent 92fae41
commit 11596aa
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 repo
+add-apt-repository ppa:pypy/ppa
+
 apt-get update