Add conflicts for ocaml-option-bytecode-only

Author: jim-portegies

packages/coq-waterproof/coq-waterproof.3.0.0+8.18/opam

@@ -33,6 +33,8 @@ build: [
 
 available: (arch != "s390x") & (arch != "ppc64") & (os != "win32")
 
+conflicts: [ "ocaml-option-bytecode-only" ]
+
 tags: [
   "keyword:mathematics education"
   "category:Mathematics/Education"