From 520c88cbf53979ceee665e3e4bc87e66a423e496 Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Wed, 18 May 2016 16:04:23 +0900
Subject: [PATCH] debian-bootstrap.sh: add libgnutls-dev for gnutls

---
 debian-bootstrap.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian-bootstrap.sh b/debian-bootstrap.sh
index 8e8a2e87..115ecebc 100755
--- a/debian-bootstrap.sh
+++ b/debian-bootstrap.sh
@@ -54,6 +54,7 @@ apt-get install -y \
     libglib2.0-dev \
     libglu1-mesa-dev \
     libgmp3-dev \
+    libgnutls-dev \
     libgsasl7-dev \
     libgsl0-dev \
     libgtk-3-dev \