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

Author: mseri

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

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