From 4958ee2efd1222a656310d77099b16bd7b026e65 Mon Sep 17 00:00:00 2001 From: Marek Kubica Date: Thu, 31 Oct 2024 14:35:43 +0100 Subject: [PATCH 1/3] 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 54efb13f7f3..c71decd8f1e 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 d7e00fc4b95..fdfacd110a3 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 9e3589f93a7..a9ebb7849be 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 73393bdde4a..5abd0819029 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 1ad8e1caee0..085f786a75e 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 0b52f565385..698a1639295 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 384beea2f92..3a095e78df7 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 58bcb4f7c24..1eb5b63330e 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 0b43c669708..7d3953e1df1 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 547b32d7c40..20790bb5b9c 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 957b50ea8c5..7d7400709e2 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 +} From c59f5fed7ff471c91e8100179703afb67d3f5e65 Mon Sep 17 00:00:00 2001 From: Marek Kubica Date: Thu, 31 Oct 2024 15:12:22 +0100 Subject: [PATCH 2/3] rml fails to build on 5.1+ --- packages/rml/rml.1.09.07/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/rml/rml.1.09.07/opam b/packages/rml/rml.1.09.07/opam index 7d7400709e2..f224a9fabe8 100644 --- a/packages/rml/rml.1.09.07/opam +++ b/packages/rml/rml.1.09.07/opam @@ -13,7 +13,7 @@ install: [ [make "install"] ] depends: [ - "ocaml" {>= "4.07"} + "ocaml" {>= "4.07" & < "5.1"} "num" ] depexts: ["patch"] {os-distribution = "alpine"} From 4a1bd9183fbf7b18482a0d17cf4e66bcd1fcb7f3 Mon Sep 17 00:00:00 2001 From: Marek Kubica Date: Fri, 1 Nov 2024 09:42:35 +0100 Subject: [PATCH 3/3] Mark `1.09.07` as unavailable as well --- packages/rml/rml.1.09.07/opam | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/packages/rml/rml.1.09.07/opam b/packages/rml/rml.1.09.07/opam index f224a9fabe8..c22abce7f50 100644 --- a/packages/rml/rml.1.09.07/opam +++ b/packages/rml/rml.1.09.07/opam @@ -13,7 +13,7 @@ install: [ [make "install"] ] depends: [ - "ocaml" {>= "4.07" & < "5.1"} + "ocaml" {>= "4.07"} "num" ] depexts: ["patch"] {os-distribution = "alpine"} @@ -27,9 +27,10 @@ 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: "https://github.com/reactiveml/rml/archive/refs/tags/rml-1.09.07-2021-07-26.tar.gz" + src: "http://rml.lri.fr/distrib/rml-1.09.07-2021-07-26.tar.gz" checksum: [ - "sha256=5beeb70dbd8688597999377b54342c1306ac92a3eefb68978a38311c531de5ca" - "md5=dcaa4a0d0e51a300e29bb903f656477e" + "sha256=74acc5319df33b4694d6894b0b8023c1ce3f8f0749c6f4dc587a42c102d809b0" + "md5=4fc5ca8f941f6a7f060fb9252389b8b4" ] } +available: false