From 040821cdc07a6f381c2c6d2595957633c2b3183d Mon Sep 17 00:00:00 2001
From: Michael Vasseur <14887731+vmcj@users.noreply.github.com>
Date: Mon, 8 Apr 2024 22:02:04 +0200
Subject: [PATCH 1/2] Don't install texlive on judgehosts

We only need those on the domservers (& admin machines).
---
 provision-contest/ansible/roles/base_packages/defaults/main.yml | 2 --
 provision-contest/ansible/roles/domserver/defaults/main.yml     | 2 ++
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/provision-contest/ansible/roles/base_packages/defaults/main.yml b/provision-contest/ansible/roles/base_packages/defaults/main.yml
index 44cbcb05..bdcc7aff 100644
--- a/provision-contest/ansible/roles/base_packages/defaults/main.yml
+++ b/provision-contest/ansible/roles/base_packages/defaults/main.yml
@@ -36,8 +36,6 @@ INSTALLED_PACKAGES:
   - libjsoncpp-dev
   - libmagic-dev
   - debootstrap
-  - texlive-latex-recommended
-  - texlive-latex-extra
   - apache2-utils
   - tig
   - bat
diff --git a/provision-contest/ansible/roles/domserver/defaults/main.yml b/provision-contest/ansible/roles/domserver/defaults/main.yml
index 7092337a..e2a3a2cf 100644
--- a/provision-contest/ansible/roles/domserver/defaults/main.yml
+++ b/provision-contest/ansible/roles/domserver/defaults/main.yml
@@ -2,3 +2,5 @@ DOMSERVER_PACKAGES:
   - nginx
   - php-fpm
   - php-intl
+  - texlive-latex-recommended
+  - texlive-latex-extra

From 8f2e87af20b272c37134f2f12961031e407d9f30 Mon Sep 17 00:00:00 2001
From: Michael Vasseur <14887731+vmcj@users.noreply.github.com>
Date: Tue, 9 Apr 2024 20:26:21 +0200
Subject: [PATCH 2/2] ICPC image uses different repo name

---
 provision-contest/ansible/roles/base_packages/tasks/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/provision-contest/ansible/roles/base_packages/tasks/main.yml b/provision-contest/ansible/roles/base_packages/tasks/main.yml
index 9be1abe8..54fafc3c 100644
--- a/provision-contest/ansible/roles/base_packages/tasks/main.yml
+++ b/provision-contest/ansible/roles/base_packages/tasks/main.yml
@@ -12,7 +12,7 @@
       - sources.list
       - sources.list.d/mono.list
       - sources.list.d/vscode.list
-      - sources.list.d/pypy-ubuntu-ppa-buster.list
+      - sources.list.d/pypy-ubuntu-ppa-jammy.list
     notify: Run apt update
 
   - name: Add packages to hosts file