diff --git a/extra-dev/packages/coq-elpi/coq-elpi.dev/opam b/extra-dev/packages/coq-elpi/coq-elpi.dev/opam
index 87a2501a6..cefd09be5 100644
--- a/extra-dev/packages/coq-elpi/coq-elpi.dev/opam
+++ b/extra-dev/packages/coq-elpi/coq-elpi.dev/opam
@@ -40,5 +40,5 @@ build: [
 ]
 dev-repo: "git+https://github.com/LPCIC/coq-elpi.git"
 url {
-  src: "git+https://github.com/LPCIC/coq-elpi.git"
+  src: "git+https://github.com/LPCIC/coq-elpi.git#master-of-the-universes"
 }