From 069018b9009f9bc5179cb08d714d681a114d6e14 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Sat, 7 Dec 2024 15:10:25 +0100
Subject: [PATCH] fix opam

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

diff --git a/coq-elpi.opam b/coq-elpi.opam
index 24e5577d7..f1df1b4b8 100644
--- a/coq-elpi.opam
+++ b/coq-elpi.opam
@@ -17,7 +17,6 @@ bug-reports: "https://github.com/LPCIC/coq-elpi/issues"
 depends: [
   "dune" {>= "3.13"}
   "ocaml" {>= "4.10.0"}
-  "stdlib-shims"
   "elpi" {>= "2.0.3" & < "2.1.0~"}
   "coq" {>= "8.20+rc1" & < "8.21~"}
   "ppx_optcomp"
@@ -26,6 +25,7 @@ depends: [
 ]
 build: [
   ["dune" "subst"] {dev}
+  [ make "elpi/dune"]
   [
     "dune"
     "build"