Update packages/coq-core/coq-core.8.18.0/opam

kit-ty-kate · web-flow · commit 2603bb658cea · 2023-09-13T14:48:17.000+01:00
diff --git a/packages/coq-core/coq-core.8.18.0/opam b/packages/coq-core/coq-core.8.18.0/opam
@@ -34,7 +34,6 @@ depends: [
 ]
 conflicts: [
   "coq"   { < "8.17" }
-  "ocaml-option-flambda"
 ]
 build: [
   # Requires dune 2.8 due to https://github.com/ocaml/dune/issues/3219

Original file line number	Diff line number	Diff line change
`@@ -34,7 +34,6 @@ depends: [`
`34`	`34`	`]`
`35`	`35`	`conflicts: [`
`36`	`36`	`"coq" { < "8.17" }`
`37`		`- "ocaml-option-flambda"`
`38`	`37`	`]`
`39`	`38`	`build: [`
`40`	`39`	`# Requires dune 2.8 due to https://github.com/ocaml/dune/issues/3219`