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