File tree Expand file tree Collapse file tree 3 files changed +4
-4
lines changed Expand file tree Collapse file tree 3 files changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -9,7 +9,7 @@ homepage: "https://git.lacl.fr/barbot/boltzgen"
99bug-reports: "https://git.lacl.fr/barbot/boltzgen/-/issues"
1010depends: [
1111 "dune" {>= "2.7"}
12- "ocaml" {>= "4.08.0"}
12+ "ocaml" {>= "4.08.0" & < "5.3.0" }
1313 "ocaml-compiler-libs"
1414 "cmdliner" {< "2.0.0"}
1515 "base-unix"
Original file line number Diff line number Diff line change @@ -9,7 +9,7 @@ homepage: "https://git.lacl.fr/barbot/boltzgen"
99bug-reports: "https://git.lacl.fr/barbot/boltzgen/-/issues"
1010depends: [
1111 "dune" {>= "2.7"}
12- "ocaml" {>= "4.08.0"}
12+ "ocaml" {>= "4.08.0" & < "5.3.0" }
1313 "ocaml-compiler-libs"
1414 "cmdliner" {>= "1.0.0" & < "2.0.0"}
1515 "base-unix"
3737 "md5=8f8e5588602654ab7aa492910e4a9fd4"
3838 "sha512=99c54502e2ca783b69ba4846a83b75f1e07cfb243cb83f98e9ee1cf39859d0ada844d79939e48719d7ba584bb6785b761339b173349d5ebf21db5ee091ba89e0"
3939 ]
40- }
40+ }
Original file line number Diff line number Diff line change @@ -9,7 +9,7 @@ homepage: "https://git.lacl.fr/barbot/boltzgen"
99bug-reports: "https://git.lacl.fr/barbot/boltzgen/-/issues"
1010depends: [
1111 "dune" {>= "2.6"}
12- "ocaml" {>= "4.08.1"}
12+ "ocaml" {>= "4.08.1" & < "5.3.0" }
1313 "ocaml-compiler-libs"
1414 "cmdliner" {< "2.0.0"}
1515]
You can’t perform that action at this time.
0 commit comments