From 0ae42d6be65c407bfaa6631b4bf8b4dd32c72838 Mon Sep 17 00:00:00 2001
From: Remi Gacogne <remi.gacogne@powerdns.com>
Date: Mon, 30 Aug 2021 10:32:51 +0200
Subject: [PATCH] dnsdist: Fix the Coverity build by adding the dev version of
 GnuTLS

---
 .circleci/config.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 73fb259e2b..856ddcc26b 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -1540,7 +1540,7 @@ jobs:
             libcdb-dev \
             libedit-dev \
             libfstrm-dev \
-            libgnutls30 \
+            libgnutls28-dev \
             liblmdb-dev \
             libluajit-5.1-dev \
             libre2-dev \
-- 
2.47.2