Merge pull request #26821 from Leonidas-from-XIV/fix-rml-locations

Mark `rml` unavailable as sources are unavailable
ocaml · Nov 3, 2024 · 3552603 · 3552603
2 parents 3f1a824 + 4a1bd91
commit 3552603
Show file tree

Hide file tree

Showing 11 changed files with 12 additions and 5 deletions.
diff --git a/packages/rml/rml.1.08.04/opam b/packages/rml/rml.1.08.04/opam
@@ -23,3 +23,4 @@ url {
     "md5=00a7a14f24a7640089f78ad52f532002"
   ]
 }
+available: false
diff --git a/packages/rml/rml.1.08.05/opam b/packages/rml/rml.1.08.05/opam
@@ -30,3 +30,4 @@ url {
     "md5=6c41f9d5458d1032a0ed7712b95d1f21"
   ]
 }
+available: false
diff --git a/packages/rml/rml.1.08.06/opam b/packages/rml/rml.1.08.06/opam
@@ -30,3 +30,4 @@ url {
     "md5=cd657e07d27cdc67fd5ed051d60b712c"
   ]
 }
+available: false
diff --git a/packages/rml/rml.1.09.00/opam b/packages/rml/rml.1.09.00/opam
@@ -8,7 +8,7 @@ build: [
 remove: [[make "uninstall"]]
 depends: ["ocaml" "ocamlfind" "ocamlbuild" "num"]
 install: [make "install"]
-available: [ os != "linux" ]
+available: [ os != "linux" & false ]
 synopsis:
   "ReactiveML: a programming language for implementing interactive systems."
 description: """

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

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

diff --git a/packages/rml/rml.1.09.03/opam b/packages/rml/rml.1.09.03/opam
@@ -11,7 +11,7 @@ remove: [
 ]
 depends: ["ocaml" "ocamlbuild" "num"]
 install: [make "install"]
-available: [ os != "linux" ]
+available: [ os != "linux" & false ]
 synopsis:
   "ReactiveML: a programming language for implementing interactive systems."
 description: """

diff --git a/packages/rml/rml.1.09.04/opam b/packages/rml/rml.1.09.04/opam
@@ -35,3 +35,4 @@ url {
     "md5=ae95d5367ed8524b0161b11bbef83e60"
   ]
 }
+available: false
diff --git a/packages/rml/rml.1.09.05/opam b/packages/rml/rml.1.09.05/opam
@@ -35,3 +35,4 @@ url {
     "md5=55b0603d353f833254faa9721c9d2db6"
   ]
 }
+available: false
diff --git a/packages/rml/rml.1.09.06/opam b/packages/rml/rml.1.09.06/opam
@@ -30,3 +30,4 @@ url {
     "md5=af5bfc1f6bd75e528f2ff7793e34284c"
   ]
 }
+available: false
diff --git a/packages/rml/rml.1.09.07/opam b/packages/rml/rml.1.09.07/opam
@@ -32,4 +32,5 @@ url {
     "sha256=74acc5319df33b4694d6894b0b8023c1ce3f8f0749c6f4dc587a42c102d809b0"
     "md5=4fc5ca8f941f6a7f060fb9252389b8b4"
   ]
-}
+}
+available: false
-Original file line number
+Diff line change
@@ Expand Up / @@ -23,3 +23,4 @@ url { @@
         "md5=00a7a14f24a7640089f78ad52f532002"
       ]
     }
+    available: false