From 05a3784af3b52339930e0adc041065bf57af7811 Mon Sep 17 00:00:00 2001
From: Armin Friedl <dev@friedl.net>
Date: Mon, 21 Dec 2020 05:36:39 +0100
Subject: [PATCH] Use new flex

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 490a4c4..d330367 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -6,7 +6,7 @@ ARG DEBIAN_FRONTEND=noninteractive
 
 RUN apt-get update && apt-get upgrade -y
 
-RUN apt-get install -y flex-old bison build-essential \
+RUN apt-get install -y flex bison build-essential \
     csh libxaw7-dev wget \
     libc6-i386 default-jdk \
     gdb