tree ddfc46ce5fb7881e1db759ae31e4e6e5249815af
parent 661c2a43bac3896ab47515432cead8ae6676b4ff
author Gilles Peskine <Gilles.Peskine@arm.com> 1597997024 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1597997024 +0200

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>