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 deda6b7 commit cc53dfbCopy full SHA for cc53dfb
packages/goblint/goblint.1.0.0/opam
@@ -9,14 +9,15 @@ depends: [
9
"ocaml" {>= "4.04.1" & < "4.07"}
10
"ocamlbuild" {build}
11
"ocamlfind" {build}
12
- "goblint-cil" {build & < "2.0.0"}
+ "goblint-cil" {build & < "1.8.0"}
13
"batteries" {build & < "3.4.0"}
14
"xml-light" {build}
15
"ppx_distr_guards"
16
"ppx_monadic"
17
"ppx_import"
18
"ppx_deriving"
19
"ppx_deriving_yojson"
20
+ "yojson" {< "1.6.0"}
21
"conf-gcc"
22
]
23
synopsis: "Static analysis framework for concurrent C"
0 commit comments