Update packages/zenon/zenon.0.8.5/opam

mseri · web-flow · commit 736478400d5c · 2023-03-29T15:23:30.000+02:00
diff --git a/packages/zenon/zenon.0.8.5/opam b/packages/zenon/zenon.0.8.5/opam
@@ -13,6 +13,7 @@ depopts: [
 conflicts: [
   "coq" {< "8.6"}
   "coq-core"
+  "ocaml-option-bytecode-only"
 ]
 build: [
   ["./configure" "--prefix" "%{prefix}%" "--libdir" "%{zenon:lib}%"]

Original file line number	Diff line number	Diff line change
`@@ -13,6 +13,7 @@ depopts: [`
`13`	`13`	`conflicts: [`
`14`	`14`	`"coq" {< "8.6"}`
`15`	`15`	`"coq-core"`
	`16`	`+ "ocaml-option-bytecode-only"`
`16`	`17`	`]`
`17`	`18`	`build: [`
`18`	`19`	`["./configure" "--prefix" "%{prefix}%" "--libdir" "%{zenon:lib}%"]`