Add conflict with ocaml-option-bytecode-only

Added conflicts field to opam file.

Author: jim-portegies

packages/coq-waterproof/coq-waterproof.3.1.0+9.0/opam

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