From 35100b86c4b40a241819107793b225f29075c523 Mon Sep 17 00:00:00 2001
From: Sameer Rahmani <lxsameer@gnu.org>
Date: Sun, 17 May 2020 16:57:30 +0100
Subject: [PATCH] Try gnutls-bin with the CI

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1534ae3..b3f5097 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,7 +5,7 @@ stages:
   image: debian:stable-slim
   stage: build
   before_script:
-    - apt update && apt install -y make wget git emacs sudo gnutls
+    - apt update && apt install -y make wget git emacs sudo gnutls-bin
     - git clone -b $CI_COMMIT_REF_NAME https://gitlab.com/FG42/FG42 ~/.fg42/ && cd ~/.fg42/ && make install &&
   script:
     - cd ~/.fg42/ && fg42 -nw --script build.el