From 99652d51470d4b4d7433f6b7d5074692e6465beb Mon Sep 17 00:00:00 2001
From: Gilles Peskine <Gilles.Peskine@arm.com>
Date: Fri, 21 Aug 2020 10:03:44 +0200
Subject: [PATCH] Downgrade GnuTLS to avoid incompatibilities

The version of GnuTLS in an up-to-date Ubuntu 16.04 (3.4.10-4ubuntu1.8)
fails compat.sh. As a workaround until we fix this or decide that this
is a bug in the Ubuntu package, downgrade GnuTLS to the same upstream
version, but as originally released in Ubuntu 16.04, without the latest
Ubuntu packages.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
---
 .travis.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index fc6a518b3..2d996219b 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -23,7 +23,8 @@ env:
 addons:
   apt:
     packages:
-    - gnutls-bin
+    - libgnutls30=3.4.10-4ubuntu1
+    - gnutls-bin=3.4.10-4ubuntu1
   coverity_scan:
     project:
       name: "ARMmbed/mbedtls"