From e934fdb7710b152152019785dc93696541cd8078 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Sat, 2 Dec 2023 13:20:19 -0600 Subject: Try again --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Dockerfile') diff --git a/Dockerfile b/Dockerfile index b425dca..560ee66 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,7 +1,7 @@ FROM ocaml/opam:alpine as build # Install system dependencies -RUN sudo apk add --update libev-dev openssl-dev gmp-dev libgmp +RUN sudo apk add --update libev-dev openssl-dev gmp-dev gmp libgmp10 WORKDIR /home/opam # Install dependencies -- cgit v1.2.3