Try to rule out ocaml-option-bytecode-only for Ocaml 5

Author: jim-portegies

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

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