Update packages/catala/catala.0.8.0/opam

kit-ty-kate · web-flow · commit f338e6cbbc7a · 2023-03-22T17:21:45.000Z
diff --git a/packages/catala/catala.0.8.0/opam b/packages/catala/catala.0.8.0/opam
@@ -45,6 +45,7 @@ depends: [
 depopts: ["z3"]
 conflicts: [
   "z3" {< "4.8.11"}
+  "ocaml-option-bytecode-only"
 ]
 build: [
   ["dune" "subst"] {dev}
