aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarc Coquand <marcc@fastmail.fr>2023-12-02 13:20:19 -0600
committerMarc Coquand <marcc@fastmail.fr>2023-12-02 13:20:19 -0600
commite934fdb7710b152152019785dc93696541cd8078 (patch)
treee07d0cee7d939f12221915810d457f656263c208
parent869e395775786bebcb5773af7be165e4c7953c72 (diff)
downloadwormhole-e934fdb7710b152152019785dc93696541cd8078.tar.gz
wormhole-e934fdb7710b152152019785dc93696541cd8078.tar.bz2
wormhole-e934fdb7710b152152019785dc93696541cd8078.zip
Try again
Diffstat (limited to '')
-rw-r--r--Dockerfile2
1 files changed, 1 insertions, 1 deletions
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