Merge pull request #674 from LPCIC/fix-opam-metadata

gares · web-flow · commit e1ad7d8d15df · 2024-07-23T16:02:11.000+02:00
dev setup
diff --git a/coq-elpi.opam b/coq-elpi.opam
@@ -21,7 +21,7 @@ depends: [
   "elpi" {>= "1.18.2" & < "1.20.0~"}
   "coq" {>= "8.19" & < "8.21"}
   "ppx_optcomp"
-  "ocaml-lsp-server" {dev}
+  "ocaml-lsp-server" {with-dev-setup}
   "odoc" {with-doc}
 ]
 build: [
diff --git a/dune-project b/dune-project
@@ -34,7 +34,7 @@
   (elpi (and (>= 1.18.2) (< 1.20.0~)))
   (coq (and (>= 8.19) (< 8.21)))
   ppx_optcomp
-  (ocaml-lsp-server :dev)))
+  (ocaml-lsp-server :with-dev-setup)))
 
 (package
  (name coq-elpi-tests)

Original file line number	Diff line number	Diff line change
`@@ -21,7 +21,7 @@ depends: [`
`21`	`21`	`"elpi" {>= "1.18.2" & < "1.20.0~"}`
`22`	`22`	`"coq" {>= "8.19" & < "8.21"}`
`23`	`23`	`"ppx_optcomp"`
`24`		`- "ocaml-lsp-server" {dev}`
	`24`	`+ "ocaml-lsp-server" {with-dev-setup}`
`25`	`25`	`"odoc" {with-doc}`
`26`	`26`	`]`
`27`	`27`	`build: [`