diff --git a/release.Dockerfile b/release.Dockerfile
index d4fc4fd2..285a51fb 100644
--- a/release.Dockerfile
+++ b/release.Dockerfile
@@ -16,7 +16,7 @@ RUN sudo chown -R opam:nogroup .
 RUN opam install . --destdir /src/opam-install
 
 # Store the dynamic dependencies of the server
-RUN opam depext -ln coq-bot > /src/depexts-coq-bot
+RUN OPAMSOLVERTIMEOUT=300 opam depext -ln coq-bot > /src/depexts-coq-bot
 
 
 FROM alpine:3.10 AS app