Skip to content

Commit e4db780

Browse files
committed
lintcstubs.0.4.7: add goblint upper bound
1 parent b6829c7 commit e4db780

File tree

1 file changed

+1
-1
lines changed
  • packages/lintcstubs/lintcstubs.0.4.7

1 file changed

+1
-1
lines changed

packages/lintcstubs/lintcstubs.0.4.7/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ depends: [
1111
"dune" {>= "3.0"}
1212
"ocaml" {>= "4.13"}
1313
"lintcstubs-gen" {= version}
14-
"goblint" {>= "2.1.0"}
14+
"goblint" {>= "2.1.0" & < "2.2.0"}
1515
"goblint-cil"
1616
"dune-compiledb"
1717
"fpath"

0 commit comments

Comments
 (0)