From c19b5f239c6cfdc696799d213e4b7fa3f00fb17c Mon Sep 17 00:00:00 2001
From: Jens Georg <jens.georg@desy.de>
Date: Tue, 29 Sep 2020 22:38:06 +0200
Subject: [PATCH] docker: Switch focal to lua5.2
For some reason I thought that this is not available anymore
---
dockerfiles/focal.docker | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dockerfiles/focal.docker b/dockerfiles/focal.docker
index ecbaa63..2e234a1 100644
--- a/dockerfiles/focal.docker
+++ b/dockerfiles/focal.docker
@@ -24,7 +24,7 @@ RUN apt-get update && \
graphviz \
clang \
libhdf5-dev \
- liblua5.3-dev \
+ liblua5.2-dev \
python3-sphinx \
libgsl-dev \
libssl-dev \
--
GitLab