diff --git a/packages/rml/rml.1.09.00/opam b/packages/rml/rml.1.09.00/opam
index d3ef6ccfeaea..5abd0819029d 100644
--- a/packages/rml/rml.1.09.00/opam
+++ b/packages/rml/rml.1.09.00/opam
@@ -8,10 +8,7 @@ build: [
 remove: [[make "uninstall"]]
 depends: ["ocaml" "ocamlfind" "ocamlbuild" "num"]
 install: [make "install"]
-available: [
-  [ os != "linux" ]
-  false
-]
+available: [ os != "linux" & false ]
 synopsis:
   "ReactiveML: a programming language for implementing interactive systems."
 description: """