From 5d8c0876adb44141534efb9f37c2d7b7cd74a0ec Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Mon, 15 Jul 2024 16:41:37 +0200
Subject: [PATCH] overlay

---
 extra-dev/packages/coq-elpi/coq-elpi.dev/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"
 }