From 07e382488569d014dc63290055ab19b44e489b5c Mon Sep 17 00:00:00 2001
From: Gertjan van den Burg <gertjanvandenburg@gmail.com>
Date: Thu, 23 Apr 2020 23:53:52 +0100
Subject: Trying to fix libcurl installation

---
 Dockerfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index bf20e420..b8711744 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -2,7 +2,7 @@ FROM ubuntu:18.04
 
 RUN apt-get update && \
 	DEBIAN_FRONTEND=noninteractive apt-get install -y tzdata && \
-	apt-get remove -y python libcurl4 && \
+	apt-get remove -y python && \
 	apt-get install -y --no-install-recommends \
 		git \
 		build-essential \
@@ -14,11 +14,13 @@ RUN apt-get update && \
 		liblzma-dev \
 		libgit2-dev \
 		libxml2-dev \
+		libcurl4=7.58.0-2ubuntu3.8 \
 		libcurl4-openssl-dev \
 		libcurl4-gnutls-dev \
 		libssl-dev \
 		libopenblas-dev
 
+
 # Make sure python means python3
 RUN apt-get install -y --no-install-recommends \
 	python3 \
-- 
cgit v1.2.3