From 581f3332876a90a0df7a202070e3f7ae9b371fba Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Sat, 2 Dec 2023 11:28:42 -0600 Subject: Fix build dep, use post url --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Dockerfile') diff --git a/Dockerfile b/Dockerfile index f230a65..97b03f5 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 +RUN sudo apk add --update libev-dev openssl-dev gmp-dev WORKDIR /home/opam # Install dependencies -- cgit v1.2.3