this repo has no description

Merge pull request #24231 from mseri/fix-jasmin

jasmin <= 2023.06.0 is not compatible with ocaml 5

Changed files
+5 -5
packages
jasmin
jasmin.2022.04.0
jasmin.2022.09.0
jasmin.2022.09.2
jasmin.2022.09.3
jasmin.2023.06.0
+1 -1
packages/jasmin/jasmin.2022.04.0/opam
···
dev-repo: "git+https://github.com/jasmin-lang/jasmin.git"
depends: [
-
"ocaml" {>= "4.08.0" & build}
+
"ocaml" {>= "4.08.0" & < "5.0" & build}
"batteries" {>= "3.2.0"}
"menhir" {>= "20160825" & build }
"menhirLib"
+1 -1
packages/jasmin/jasmin.2022.09.0/opam
···
dev-repo: "git+https://github.com/jasmin-lang/jasmin.git"
depends: [
-
"ocaml" {>= "4.08.0" & build}
+
"ocaml" {>= "4.08.0" & < "5.0" & build}
"batteries" {>= "3.4.0"}
"menhir" {>= "20160825" & build}
"menhirLib"
+1 -1
packages/jasmin/jasmin.2022.09.2/opam
···
dev-repo: "git+https://github.com/jasmin-lang/jasmin.git"
depends: [
-
"ocaml" {>= "4.08.0" & build}
+
"ocaml" {>= "4.08.0" & < "5.0" & build}
"batteries" {>= "3.4.0"}
"menhir" {>= "20160825" & build}
"menhirLib"
+1 -1
packages/jasmin/jasmin.2022.09.3/opam
···
dev-repo: "git+https://github.com/jasmin-lang/jasmin.git"
depends: [
-
"ocaml" {>= "4.08.0" & build}
+
"ocaml" {>= "4.08.0" & < "5.0" & build}
"batteries" {>= "3.4.0"}
"menhir" {>= "20160825" & build}
"menhirLib"
+1 -1
packages/jasmin/jasmin.2023.06.0/opam
···
dev-repo: "git+https://github.com/jasmin-lang/jasmin.git"
depends: [
-
"ocaml" {>= "4.11" & build}
+
"ocaml" {>= "4.11" & < "5.0" & build}
"batteries" {>= "3.4.0"}
"menhir" {>= "20160825" & build}
"menhirLib"