Skip to content

Commit 08eabd2

Browse files
committed
Test suite in boltzgen.0.9.2 fails on >=4.13.0 due to an error position diff
1 parent 13b0514 commit 08eabd2

File tree

1 file changed

+1
-0
lines changed
  • packages/boltzgen/boltzgen.0.9.2

1 file changed

+1
-0
lines changed

packages/boltzgen/boltzgen.0.9.2/opam

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,7 @@ bug-reports: "https://git.lacl.fr/barbot/boltzgen/-/issues"
1010
depends: [
1111
"dune" {>= "2.7"}
1212
"ocaml" {>= "4.08.0" & < "5.3.0"}
13+
"ocaml" {< "4.13.0" & with-test}
1314
"ocaml-compiler-libs"
1415
"cmdliner" {>= "1.0.0" & < "2.0.0"}
1516
"base-unix"

0 commit comments

Comments
 (0)