From 92a09a54a1fb4ff0b2ee93dad9191498dd239611 Mon Sep 17 00:00:00 2001
From: Marcello Stanisci <marcello.stanisci@inria.fr>
Date: Sun, 13 Nov 2016 23:10:25 +0100
Subject: removing non-existent libcurl-dev from debian packages to be
 installed in docker base

---
 docker/base/Dockerfile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'docker')

diff --git a/docker/base/Dockerfile b/docker/base/Dockerfile
index 27ea0f9..94e5e0a 100644
--- a/docker/base/Dockerfile
+++ b/docker/base/Dockerfile
@@ -12,8 +12,7 @@ RUN apt-get update && apt-get install -y \
       libunistring-dev \
       libjansson-dev \
       libpq-dev \
-      libmicrohttpd-dev \
-      libcurl-dev
+      libmicrohttpd-dev
 
 RUN git clone https://gnunet.org/git/gnunet/ \
     && git clone https://gnunet.org/git/libmicrohttpd/ \
-- 
cgit v1.2.3