Update libgnutls28-dev

carlesfernandez · Nov 25, 2023 · 8ef1ac2 · 8ef1ac2
1 parent c6c2244
commit 8ef1ac2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -35,7 +35,7 @@ RUN DEBIAN_FRONTEND=noninteractive apt-get -qq update && apt-get install --fix-m
   libfmt-dev=8.1.1+ds1-2 \
   libgflags-dev=2.2.2-2 \
   libgmp-dev=2:6.2.1+dfsg-3ubuntu1 \
-  libgnutls28-dev=3.7.3-4ubuntu1.2 \
+  libgnutls28-dev=3.7.3-4ubuntu1.3 \
   libgoogle-glog-dev=0.5.0+really0.4.0-2 \
   libgtest-dev=1.11.0-3 \
   libhidapi-dev=0.11.2-1 \