Skip to content

Commit 90ced9c

Browse files
committed
finer constraints for salto-analyzer (0.1)
CHANGES: - strengthened constraints for salto-IL
1 parent f2cd184 commit 90ced9c

File tree

1 file changed

+1
-1
lines changed
  • packages/salto-analyzer/salto-analyzer.0.1

1 file changed

+1
-1
lines changed

packages/salto-analyzer/salto-analyzer.0.1/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ homepage: "https://salto.gitlabpages.inria.fr/"
1717
bug-reports: "https://gitlab.inria.fr/salto/salto-analyzer/-/issues"
1818
depends: [
1919
"dune" {>= "3.17"}
20-
"saltoIL" {>= "0.1.11"}
20+
"saltoIL" {>= "0.1.11" & < "0.2"}
2121
"base" {>= "v0.16.3"}
2222
"cmdliner" {>= "1.2.0"}
2323
"dmap" {>= "0.5"}

0 commit comments

Comments
 (0)