From e6bb8d6143c15e737d2a1920e1d54dc5616cd2d5 Mon Sep 17 00:00:00 2001
From: Marek Kubica <marek@tarides.com>
Date: Thu, 31 Oct 2024 14:35:43 +0100
Subject: [PATCH] Mark unretrievable archives as unavailable

rml.lri.fr and reactiveml.org are both dead and the tarballs are
404'ing. The cache doesn't have them.
---
 packages/rml/rml.1.08.04/opam | 1 +
 packages/rml/rml.1.08.05/opam | 1 +
 packages/rml/rml.1.08.06/opam | 1 +
 packages/rml/rml.1.09.00/opam | 2 +-
 packages/rml/rml.1.09.01/opam | 2 +-
 packages/rml/rml.1.09.02/opam | 2 +-
 packages/rml/rml.1.09.03/opam | 2 +-
 packages/rml/rml.1.09.04/opam | 1 +
 packages/rml/rml.1.09.05/opam | 1 +
 packages/rml/rml.1.09.06/opam | 1 +
 packages/rml/rml.1.09.07/opam | 8 ++++----
 11 files changed, 14 insertions(+), 8 deletions(-)

diff --git a/packages/rml/rml.1.08.04/opam b/packages/rml/rml.1.08.04/opam
index 54efb13f7f32..c71decd8f1ee 100644
--- 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
index d7e00fc4b953..fdfacd110a3f 100644
--- 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
index 9e3589f93a7d..a9ebb7849be3 100644
--- 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
index 73393bdde4ad..e767774e296e 100644
--- 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
index 1ad8e1caee07..2b6d0e68c838 100644
--- 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
index 0b52f5653857..80f0986017e5 100644
--- 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
index 384beea2f926..c6283453717e 100644
--- 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
index 58bcb4f7c24f..1eb5b63330e2 100644
--- 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
index 0b43c669708d..7d3953e1df12 100644
--- 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
index 547b32d7c40a..20790bb5b9c2 100644
--- 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
index 957b50ea8c50..7d7400709e25 100644
--- a/packages/rml/rml.1.09.07/opam
+++ b/packages/rml/rml.1.09.07/opam
@@ -27,9 +27,9 @@ In ReactiveML, the reactive model is integrated at the language level
 (not as a library) which leads to safer and more natural programming."""
 authors: "Louis Mandel louis@reactiveml.org"
 url {
-  src: "http://rml.lri.fr/distrib/rml-1.09.07-2021-07-26.tar.gz"
+  src: "https://github.com/reactiveml/rml/archive/refs/tags/rml-1.09.07-2021-07-26.tar.gz"
   checksum: [
-    "sha256=74acc5319df33b4694d6894b0b8023c1ce3f8f0749c6f4dc587a42c102d809b0"
-    "md5=4fc5ca8f941f6a7f060fb9252389b8b4"
+    "sha256=5beeb70dbd8688597999377b54342c1306ac92a3eefb68978a38311c531de5ca"
+    "md5=dcaa4a0d0e51a300e29bb903f656477e"
   ]
-}
\ No newline at end of file
+}