From 4277a8ad126229c05b6a3acc927fded5f3197fac Mon Sep 17 00:00:00 2001 From: Alexander Bentkamp Date: Fri, 5 May 2023 14:49:12 +0200 Subject: [PATCH] apt-get upgrade --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index bfe03db..e0cc276 100644 --- a/Dockerfile +++ b/Dockerfile @@ -2,7 +2,7 @@ FROM ubuntu:18.04 WORKDIR / -RUN apt-get update && apt-get install -y git curl libatomic1 +RUN apt-get update && apt-get upgrade -y && apt-get install -y git curl libatomic1 # Install elan RUN curl -sSfL https://github.com/leanprover/elan/releases/download/v1.4.2/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz \