From 53d821d028b6951d1dac472a6849516a2d9ca4e8 Mon Sep 17 00:00:00 2001
From: "Garth N. Wells" <gnw20@cam.ac.uk>
Date: Tue, 24 Oct 2023 13:55:49 +0100
Subject: [PATCH] Fix redhat dockerfile (#2823)

---
 docker/Dockerfile.redhat | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docker/Dockerfile.redhat b/docker/Dockerfile.redhat
index e3c86017c58..d5358c3284a 100644
--- a/docker/Dockerfile.redhat
+++ b/docker/Dockerfile.redhat
@@ -19,6 +19,7 @@ WORKDIR /tmp
 RUN dnf -y update && \
     dnf install -y dnf-plugins-core && \
     dnf config-manager --set-enabled crb && \
+    dnf install -y epel-release && \
     dnf -y install \
     bison \
     boost-devel \