From 7d8409beb1a490d7ff1b90464d1f913b4a54d33a Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gregor.kleen@ifi.lmu.de>
Date: Mon, 28 Jun 2021 16:06:12 +0200
Subject: [PATCH] chore(gitlab-ci): install newer libsodium

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d09d49945..b798a5752 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -125,6 +125,7 @@ yesod:build:dev:
     - install -v -T -m 0644 ${APT_SOURCES_LIST} /etc/apt/sources.list
     - apt-get update -y
     - apt-get install -y --no-install-recommends locales-all openssh-client git-restore-mtime
+    - wget http://newmirror.rz.ifi.lmu.de/ubuntu/archive/pool/main/libs/libsodium/libsodium-dev_1.0.18-1_amd64.deb && apt install ./libsodium-dev_1.0.18-1_amd64.deb && rm -v libsodium-dev_1.0.18-1_amd64.deb
     - install -v -m 0700 -d ~/.ssh
     - install -v -T -m 0644 ${SSH_KNOWN_HOSTS} ~/.ssh/known_hosts
     - install -v -T -m 0400 ${SSH_DEPLOY_KEY} ~/.ssh/deploy && echo "IdentityFile ~/.ssh/deploy" >> ~/.ssh/config;