From 281e6657c7fe5033a13c7a2fd2b6cc6f51cb6911 Mon Sep 17 00:00:00 2001
From: Michael Soegtrop
Date: Thu, 9 May 2019 10:44:15 +0200
Subject: Switched Coquelicot CI URLs from INRIA gforge to INRIA gitlab

---
 dev/ci/ci-basic-overlay.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'dev/ci/ci-basic-overlay.sh')

diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
index 4f5988c59c..d39b92467d 100755
--- a/dev/ci/ci-basic-overlay.sh
+++ b/dev/ci/ci-basic-overlay.sh
@@ -105,7 +105,8 @@
 # Coquelicot
 ########################################################################
 : "${coquelicot_CI_REF:=master}"
-: "${coquelicot_CI_GITURL:=https://scm.gforge.inria.fr/anonscm/git/coquelicot/coquelicot}"
+: "${coquelicot_CI_GITURL:=https://gitlab.inria.fr/coquelicot/coquelicot}"
+: "${coquelicot_CI_ARCHIVEURL:=${coquelicot_CI_GITURL}/-/archive}"
 
 ########################################################################
 # CompCert
-- 
cgit v1.2.3