1 files changed, 1 insertions, 1 deletions
diff --git a/Dockerfile b/Dockerfile
index 93d745d..f158b0c 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -6,7 +6,7 @@ WORKDIR /home/opam
 
 # Install dependencies
 ADD wormhole.opam wormhole.opam
-RUN opam install . --deps-only 
+RUN opam install . --deps-only --verbose
 
 # Build project
 ADD . .