From 869e395775786bebcb5773af7be165e4c7953c72 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Sat, 2 Dec 2023 13:19:02 -0600 Subject: Try to fix --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Dockerfile') diff --git a/Dockerfile b/Dockerfile index d7ccee9..b425dca 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 gmp +RUN sudo apk add --update libev-dev openssl-dev gmp-dev libgmp WORKDIR /home/opam # Install dependencies -- cgit v1.2.3