this repo has no description

Merge pull request #22858 from emillon/ocaml5-herdtools7

ocaml 5: restrict herdtools7 releases

Kate 5881b06c bf2a94fe

Changed files
+12 -12
packages
herdtools7
herdtools7.7.42
herdtools7.7.42-beta.3
herdtools7.7.43
herdtools7.7.44
herdtools7.7.45
herdtools7.7.46
herdtools7.7.47
herdtools7.7.48
herdtools7.7.49
herdtools7.7.50
herdtools7.7.51
herdtools7.7.52
+1 -1
packages/herdtools7/herdtools7.7.42-beta.3/opam
···
install: ["./install.sh" "%{prefix}%"]
remove: ["./uninstall.sh" "%{prefix}%"]
depends: [
-
"ocaml" {>= "4.02.0"}
+
"ocaml" {>= "4.02.0" & < "5.0.0"}
"ocamlbuild" {build}
]
synopsis: "This is herdtools7, a tool suite to test weak memory models."
+1 -1
packages/herdtools7/herdtools7.7.42/opam
···
install: ["./install.sh" "%{prefix}%"]
remove: ["./uninstall.sh" "%{prefix}%"]
depends: [
-
"ocaml" {>= "4.02.0"}
+
"ocaml" {>= "4.02.0" & < "5.0.0"}
"ocamlbuild" {build}
]
synopsis: "This is herdtools7, a tool suite to test weak memory models."
+1 -1
packages/herdtools7/herdtools7.7.43/opam
···
install: ["./install.sh" "%{prefix}%"]
remove: ["./uninstall.sh" "%{prefix}%"]
depends: [
-
"ocaml" {>= "4.02.0"}
+
"ocaml" {>= "4.02.0" & < "5.0.0"}
"ocamlbuild" {build}
]
synopsis:
+1 -1
packages/herdtools7/herdtools7.7.44/opam
···
install: ["./install.sh" "%{prefix}%"]
remove: ["./uninstall.sh" "%{prefix}%"]
depends: [
-
"ocaml" {>= "4.02.0"}
+
"ocaml" {>= "4.02.0" & < "5.0.0"}
"ocamlbuild" {build}
]
synopsis: "herdtools7, a tool suite for shared memory models."
+1 -1
packages/herdtools7/herdtools7.7.45/opam
···
install: ["./install.sh" "%{prefix}%"]
remove: ["./uninstall.sh" "%{prefix}%"]
depends: [
-
"ocaml" {>= "4.02.0"}
+
"ocaml" {>= "4.02.0" & < "5.0.0"}
"ocamlbuild" {build}
]
synopsis: "herdtools7, a tool suite for shared memory models."
+1 -1
packages/herdtools7/herdtools7.7.46/opam
···
install: ["./install.sh" "%{prefix}%"]
remove: ["./uninstall.sh" "%{prefix}%"]
depends: [
-
"ocaml" {>= "4.02.0"}
+
"ocaml" {>= "4.02.0" & < "5.0.0"}
"ocamlbuild" {build}
]
synopsis: "herdtools7, a tool suite for shared memory models."
+1 -1
packages/herdtools7/herdtools7.7.47/opam
···
install: ["./install.sh" "%{prefix}%"]
remove: ["./uninstall.sh" "%{prefix}%"]
depends: [
-
"ocaml" {>= "4.02.0"}
+
"ocaml" {>= "4.02.0" & < "5.0.0"}
"ocamlbuild" {build}
]
synopsis: "herdtools7, a tool suite for shared memory models."
+1 -1
packages/herdtools7/herdtools7.7.48/opam
···
install: ["./install.sh" "%{prefix}%"]
remove: ["./uninstall.sh" "%{prefix}%"]
depends: [
-
"ocaml" {>= "4.02.0"}
+
"ocaml" {>= "4.02.0" & < "5.0.0"}
"ocamlbuild" {build}
]
synopsis: "herdtools7, a tool suite for shared memory models."
+1 -1
packages/herdtools7/herdtools7.7.49/opam
···
install: ["./install.sh" "%{prefix}%"]
remove: ["./uninstall.sh" "%{prefix}%"]
depends: [
-
"ocaml" {>= "4.02.0"}
+
"ocaml" {>= "4.02.0" & < "5.0.0"}
"ocamlbuild" {build}
]
synopsis: "herdtools7, a tool suite for shared memory models."
+1 -1
packages/herdtools7/herdtools7.7.50/opam
···
install: ["./install.sh" "%{prefix}%"]
remove: ["./uninstall.sh" "%{prefix}%"]
depends: [
-
"ocaml" {>= "4.02.0"}
+
"ocaml" {>= "4.02.0" & < "5.0.0"}
"ocamlbuild" {build}
]
synopsis: "herdtools7, a tool suite for shared memory models."
+1 -1
packages/herdtools7/herdtools7.7.51/opam
···
install: ["./install.sh" "%{prefix}%"]
remove: ["./uninstall.sh" "%{prefix}%"]
depends: [
-
"ocaml" {>= "4.02.0"}
+
"ocaml" {>= "4.02.0" & < "5.0.0"}
"ocamlbuild" {build}
]
synopsis: "herdtools7, a tool suite for shared memory models."
+1 -1
packages/herdtools7/herdtools7.7.52/opam
···
# @todo Add "build-test" field
remove: ["./uninstall.sh" "%{prefix}%"]
depends: [
-
"ocaml" {>= "4.02.0"}
+
"ocaml" {>= "4.02.0" & < "5.0.0"}
"ocamlbuild" {build}
]
url {