We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 3efe923 commit 3d1b152Copy full SHA for 3d1b152
dune-project
@@ -1,4 +1,4 @@
1
-(lang dune 3.7)
+(lang dune 3.13)
2
(using dune_site 0.1)
3
(cram enable)
4
(name goblint)
goblint.opam
@@ -35,7 +35,7 @@ homepage: "https://goblint.in.tum.de"
35
doc: "https://goblint.readthedocs.io/en/latest/"
36
bug-reports: "https://github.com/goblint/analyzer/issues"
37
depends: [
38
- "dune" {>= "3.7"}
+ "dune" {>= "3.13"}
39
"ocaml" {>= "4.14"}
40
"goblint-cil" {>= "2.0.5"}
41
"batteries" {>= "3.5.1"}
0 commit comments