Manually adjusted coq-elpi opam file to upstream #069018b9009f9bc5179…

…cb08d714d681a114d6e14
coq · Dec 9, 2024 · 2f44b35 · 2f44b35
1 parent c42a942
commit 2f44b35
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
@@ -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" {= "dev"}
   "ppx_optcomp"
@@ -26,6 +25,7 @@ depends: [
 ]
 build: [
   ["dune" "subst"] {dev}
+  [ make "elpi/dune"]
   [
     "dune"
     "build"