Merge pull request ocaml#26997 from hannesm/revive-rml

mseri · web-flow · commit 0b65c91e7650 · 2024-11-29T15:18:36.000+01:00
rml: update tarballs to opam-source-archives
diff --git a/packages/rml/rml.1.08.04/opam b/packages/rml/rml.1.08.04/opam
@@ -17,10 +17,10 @@ depexts: ["patch"] {os-distribution = "alpine"}
 synopsis: "ReactiveML compiler"
 authors: "Louis Mandel louis@reactiveml.org"
 url {
-  src: "http://rml.lri.fr/distrib/rml-1.08.04-2013-02-03.tar.gz"
+  src: "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/rml-1.08.04-2013-02-03.tar.gz"
   checksum: [
     "sha256=8b01749ca890cf467d69b4e50292d7f4fb157ad0d67eecb9931baf10e96df7a6"
     "md5=00a7a14f24a7640089f78ad52f532002"
   ]
 }
-available: false
+
diff --git a/packages/rml/rml.1.08.05/opam b/packages/rml/rml.1.08.05/opam
@@ -24,10 +24,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.08.05-2013-06-04.tar.gz"
+  src: "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/rml-1.08.05-2013-06-04.tar.gz"
   checksum: [
     "sha256=7c2cccc7d45082e62bb71d9ae4c199476de30ed28909ab221e2ae42de9947f04"
     "md5=6c41f9d5458d1032a0ed7712b95d1f21"
   ]
 }
-available: false
diff --git a/packages/rml/rml.1.08.06/opam b/packages/rml/rml.1.08.06/opam
@@ -24,10 +24,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.08.06-2013-07-12.tar.gz"
+  src: "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/rml-1.08.06-2013-07-12.tar.gz"
   checksum: [
     "sha256=2368b8e9eabe82f55cca1ab860d8b13193619ebcfd4ead0bb6faedfc2826652e"
     "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" & false ]
+available: [ os != "linux" ]
 synopsis:
   "ReactiveML: a programming language for implementing interactive systems."
 description: """
@@ -18,7 +18,7 @@ composition and dynamic features like the dynamic creation of processes.
 In ReactiveML, the reactive model is integrated at the language level
 (not as a library) which leads to safer and more natural programming."""
 url {
-  src: "http://rml.lri.fr/distrib/rml-1.09.00-2013-09-09.tar.gz"
+  src: "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/rml-1.09.00-2013-09-09.tar.gz"
   checksum: [
     "sha256=b1ee776f3b2d4cdc6008086a88db9eb32150e6d339e02b068d15498167b2c2e3"
     "md5=c62a82b37d6fde19377231d5830c980e"
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" & false ]
+available: [ os != "linux" ]
 synopsis:
   "ReactiveML: a programming language for implementing interactive systems."
 description: """
@@ -18,7 +18,7 @@ composition and dynamic features like the dynamic creation of processes.
 In ReactiveML, the reactive model is integrated at the language level
 (not as a library) which leads to safer and more natural programming."""
 url {
-  src: "http://reactiveml.org/distrib/rml-1.09.01-2013-09-10.tar.gz"
+  src: "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/rml-1.09.01-2013-09-10.tar.gz"
   checksum: [
     "sha256=456b827eb4ec050882c73ab362cd3a4d939b029a374ddf0677e97915ff3f0d42"
     "md5=635a5a8670a525704a93f1f1b1665f0c"
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" & false ]
+available: [ os != "linux" ]
 synopsis:
   "ReactiveML: a programming language for implementing interactive systems."
 description: """
@@ -20,7 +20,7 @@ composition and dynamic features like the dynamic creation of processes.
 In ReactiveML, the reactive model is integrated at the language level
 (not as a library) which leads to safer and more natural programming."""
 url {
-  src: "http://reactiveml.org/distrib/rml-1.09.02-2014-01-08.tar.gz"
+  src: "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/rml-1.09.02-2014-01-08.tar.gz"
   checksum: [
     "sha256=f87d5ba62f375834831410dbf0d5c0246dfcc4cefec50a40fba27891ef05aab8"
     "md5=b3d8c33ca574d6f68bb67f784a8ab2af"
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" & false ]
+available: [ os != "linux" ]
 synopsis:
   "ReactiveML: a programming language for implementing interactive systems."
 description: """
@@ -21,7 +21,7 @@ composition and dynamic features like the dynamic creation of processes.
 In ReactiveML, the reactive model is integrated at the language level
 (not as a library) which leads to safer and more natural programming."""
 url {
-  src: "http://reactiveml.org/distrib/rml-1.09.03-2014-06-21.tar.gz"
+  src: "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/rml-1.09.03-2014-06-21.tar.gz"
   checksum: [
     "sha256=dd0e218f8b811abbc1ff261aed42505ee93406ddad88233b10f050d4afc43338"
     "md5=c03fde474203364f0069a31e881496d9"
diff --git a/packages/rml/rml.1.09.04/opam b/packages/rml/rml.1.09.04/opam
@@ -29,10 +29,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://reactiveml.org/distrib/rml-1.09.04-2016-03-23.tar.gz"
+  src: "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/rml-1.09.04-2016-03-23.tar.gz"
   checksum: [
     "sha256=66d01dc44a6f019c520eab32394bea12e7f7c350899e6110ce804fa10010bbc0"
     "md5=ae95d5367ed8524b0161b11bbef83e60"
   ]
 }
-available: false
diff --git a/packages/rml/rml.1.09.05/opam b/packages/rml/rml.1.09.05/opam
@@ -29,10 +29,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.05-2017-10-10.tar.gz"
+  src: "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/rml-1.09.05-2017-10-10.tar.gz"
   checksum: [
     "sha256=dab3ff9a544a4af70d27f5ec767d34ed52c5d954d4e08407a5a30d59048753ac"
     "md5=55b0603d353f833254faa9721c9d2db6"
   ]
 }
-available: false
diff --git a/packages/rml/rml.1.09.06/opam b/packages/rml/rml.1.09.06/opam
@@ -10,7 +10,7 @@ install: [
  [make "install"]
 ]
 depends: [
-  "ocaml" {>= "4.07"}
+  "ocaml" {>= "4.07" & < "5.0~"}
   "num"
 ]
 depexts: ["patch"] {os-distribution = "alpine"}
@@ -24,10 +24,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.06-2020-09-23.tar.gz"
+  src: "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/rml-1.09.06-2020-09-23.tar.gz"
   checksum: [
     "sha256=45bdded8371202eb0e67fdcb11afdabac25733ac345174cd8427e9c8ccf65ff5"
     "md5=af5bfc1f6bd75e528f2ff7793e34284c"
   ]
 }
-available: false
diff --git 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.0~"}
   "num"
 ]
 depexts: ["patch"] {os-distribution = "alpine"}
@@ -27,10 +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://raw.githubusercontent.com/ocaml/opam-source-archives/main/rml-1.09.07-2021-07-26.tar.gz"
   checksum: [
     "sha256=74acc5319df33b4694d6894b0b8023c1ce3f8f0749c6f4dc587a42c102d809b0"
     "md5=4fc5ca8f941f6a7f060fb9252389b8b4"
   ]
 }
-available: false

Original file line number	Diff line number	Diff line change
`@@ -17,10 +17,10 @@ depexts: ["patch"] {os-distribution = "alpine"}`
`17`	`17`	`synopsis: "ReactiveML compiler"`
`18`	`18`	`authors: "Louis Mandel louis@reactiveml.org"`
`19`	`19`	`url {`
`20`		`- src: "http://rml.lri.fr/distrib/rml-1.08.04-2013-02-03.tar.gz"`
	`20`	`+ src: "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/rml-1.08.04-2013-02-03.tar.gz"`
`21`	`21`	`checksum: [`
`22`	`22`	`"sha256=8b01749ca890cf467d69b4e50292d7f4fb157ad0d67eecb9931baf10e96df7a6"`
`23`	`23`	`"md5=00a7a14f24a7640089f78ad52f532002"`
`24`	`24`	`]`
`25`	`25`	`}`
`26`		`-available: false`
	`26`	`+`
Original file line number	Diff line number	Diff line change
`@@ -24,10 +24,9 @@ In ReactiveML, the reactive model is integrated at the language level`
`24`	`24`	`(not as a library) which leads to safer and more natural programming."""`
`25`	`25`	`authors: "Louis Mandel louis@reactiveml.org"`
`26`	`26`	`url {`
`27`		`- src: "http://rml.lri.fr/distrib/rml-1.08.05-2013-06-04.tar.gz"`
	`27`	`+ src: "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/rml-1.08.05-2013-06-04.tar.gz"`
`28`	`28`	`checksum: [`
`29`	`29`	`"sha256=7c2cccc7d45082e62bb71d9ae4c199476de30ed28909ab221e2ae42de9947f04"`
`30`	`30`	`"md5=6c41f9d5458d1032a0ed7712b95d1f21"`
`31`	`31`	`]`
`32`	`32`	`}`
`33`		`-available: false`
Original file line number	Diff line number	Diff line change
`@@ -29,10 +29,9 @@ In ReactiveML, the reactive model is integrated at the language level`
`29`	`29`	`(not as a library) which leads to safer and more natural programming."""`
`30`	`30`	`authors: "Louis Mandel louis@reactiveml.org"`
`31`	`31`	`url {`
`32`		`- src: "http://reactiveml.org/distrib/rml-1.09.04-2016-03-23.tar.gz"`
	`32`	`+ src: "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/rml-1.09.04-2016-03-23.tar.gz"`
`33`	`33`	`checksum: [`
`34`	`34`	`"sha256=66d01dc44a6f019c520eab32394bea12e7f7c350899e6110ce804fa10010bbc0"`
`35`	`35`	`"md5=ae95d5367ed8524b0161b11bbef83e60"`
`36`	`36`	`]`
`37`	`37`	`}`
`38`		`-available: false`
Original file line number	Diff line number	Diff line change
`@@ -10,7 +10,7 @@ install: [`
`10`	`10`	`[make "install"]`
`11`	`11`	`]`
`12`	`12`	`depends: [`
`13`		`- "ocaml" {>= "4.07"}`
	`13`	`+ "ocaml" {>= "4.07" & < "5.0~"}`
`14`	`14`	`"num"`
`15`	`15`	`]`
`16`	`16`	`depexts: ["patch"] {os-distribution = "alpine"}`
`@@ -24,10 +24,9 @@ In ReactiveML, the reactive model is integrated at the language level`
`24`	`24`	`(not as a library) which leads to safer and more natural programming."""`
`25`	`25`	`authors: "Louis Mandel louis@reactiveml.org"`
`26`	`26`	`url {`
`27`		`- src: "http://rml.lri.fr/distrib/rml-1.09.06-2020-09-23.tar.gz"`
	`27`	`+ src: "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/rml-1.09.06-2020-09-23.tar.gz"`
`28`	`28`	`checksum: [`
`29`	`29`	`"sha256=45bdded8371202eb0e67fdcb11afdabac25733ac345174cd8427e9c8ccf65ff5"`
`30`	`30`	`"md5=af5bfc1f6bd75e528f2ff7793e34284c"`
`31`	`31`	`]`
`32`	`32`	`}`
`33`		`-available: false`