overlay

gares · Jul 15, 2024 · 5d8c087 · 5d8c087
1 parent 030526c
commit 5d8c087
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"
 }