From 9c3c412d08ffa36132ae3fffe5ebea1ff1fae022 Mon Sep 17 00:00:00 2001
From: Marcus Edel <marcus.edel@fu-berlin.de>
Date: Thu, 4 Jun 2020 13:58:23 +0200
Subject: [PATCH] The RAID controller failed on ftp.fau.de, so move to a new
 source to fix the builds.

---
 .ci/linux-steps.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.ci/linux-steps.yaml b/.ci/linux-steps.yaml
index 6eaeb5cf01..f828ff09c5 100644
--- a/.ci/linux-steps.yaml
+++ b/.ci/linux-steps.yaml
@@ -40,7 +40,7 @@ steps:
     fi
 
     # Install armadillo.
-    curl https://ftp.fau.de/macports/distfiles/armadillo/armadillo-8.400.0.tar.xz | tar -xvJ && cd armadillo*
+    curl https://data.kurg.org/armadillo-8.400.0.tar.xz | tar -xvJ && cd armadillo*
     cmake . && make && sudo make install && cd ..
   displayName: 'Install Build Dependencies'