From 5bc3b881a1ecad00b4019028ebbf66633372d92c Mon Sep 17 00:00:00 2001 From: Jeff Wang Date: Tue, 26 Apr 2022 21:18:47 -0400 Subject: [PATCH] update catch2 version/link (there's probably a better way to do this) --- Dockerfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Dockerfile b/Dockerfile index 123f28c..a69f690 100644 --- a/Dockerfile +++ b/Dockerfile @@ -16,6 +16,6 @@ RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -y \ wget # install more up-to-date catch2 -RUN wget http://mirrors.kernel.org/ubuntu/pool/universe/c/catch2/catch2_2.13.0-1_all.deb -RUN echo "1d501c7f817cfcd46dd1b79edc10896d catch2_2.13.0-1_all.deb" | md5sum --check -- -RUN dpkg -i catch2_2.13.0-1_all.deb +RUN wget http://mirrors.kernel.org/ubuntu/pool/universe/c/catch2/catch2_2.13.7-1_amd64.deb +RUN echo "3ca43a3b3347ec2e220e0cc6e9c38859 catch2_2.13.7-1_amd64.deb" | md5sum --check -- +RUN dpkg -i catch2_2.13.7-1_amd64.deb