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

avsm · web-flow · commit 61b67a45f366 · 2023-09-12T15:38:21.000-07:00
diff --git a/packages/coq-core/coq-core.8.18.0/opam b/packages/coq-core/coq-core.8.18.0/opam
@@ -34,6 +34,7 @@ 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,6 +34,7 @@ depends: [`
`34`	`34`	`]`
`35`	`35`	`conflicts: [`
`36`	`36`	`"coq" { < "8.17" }`
	`37`	`+ "ocaml-option-flambda"`
`37`	`38`	`]`
`38`	`39`	`build: [`
`39`	`40`	`# Requires dune 2.8 due to https://github.com/ocaml/dune/issues/3219`