From a07dddcc7b43e9882e9af94a26e060313a82f2d4 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Mon, 30 Mar 2020 17:18:02 +0200
Subject: [PATCH] [bootstrap] Update base version of miniconda

---
 bob/devtools/bootstrap.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/bob/devtools/bootstrap.py b/bob/devtools/bootstrap.py
index 42c58fac..37e34b37 100644
--- a/bob/devtools/bootstrap.py
+++ b/bob/devtools/bootstrap.py
@@ -208,12 +208,12 @@ def ensure_miniconda_sh():
 
     # WARNING: if you update this version, remember to update hahes below
     # AND our "mirror" in the internal webserver
-    path = "/miniconda/Miniconda3-4.7.12-%s-x86_64.sh"
+    path = "/miniconda/Miniconda3-py37_4.8.2-%s-x86_64.sh"
     if platform.system() == "Darwin":
-        md5sum = "677f38d5ab7e1ce4fef134068e3bd76a"
+        md5sum = "e0320c20ea13d04407424ecf57b70eaf"
         path = path % "MacOSX"
     else:
-        md5sum = "0dba759b8ecfc8948f626fa18785e3d8"
+        md5sum = "87e77f097f6ebb5127c77662dfc3165e"
         path = path % "Linux"
 
     if os.path.exists("miniconda.sh"):
-- 
GitLab