From cc77d9eff6b113ae366c1c47496b97af33f93e4b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dernat=20R=C3=A9my?= <remy.dernat@umontpellier.fr>
Date: Fri, 21 Feb 2020 16:20:55 +0100
Subject: [PATCH] fix the new curl path

---
 envfiles/R/3.3.1 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/envfiles/R/3.3.1 b/envfiles/R/3.3.1
index 707fe56..bcdc9bf 100644
--- a/envfiles/R/3.3.1
+++ b/envfiles/R/3.3.1
@@ -13,7 +13,7 @@ puts stderr "is added to PATH."
 set rel [uname release]
 global prodlist
 set    prodlist {xz-5.2.2 openssl/1.1.0b \
-                 atlas curl-7.50.3 \
+                 atlas curl/7.50.3 \
                  pcre-8.39 }
 
 
-- 
GitLab