Add conflict declaration in opam file

Add conflicts with ocaml-option-bytecode-only

Author: jim-portegies

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

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