diff options
Diffstat (limited to 'docker')
| -rw-r--r-- | docker/Dockerfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile index 7daf24a6..e88a6547 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -125,6 +125,7 @@ RUN eval $(opam env --root=/opt/opam --set-root) && opam install -y \ pcre re RUN eval $(opam env --root=/opt/opam --set-root) && opam install -y \ + num \ ctypes.0.16.0 \ ctypes-foreign \ ctypes-build |