opam-version: "2.0"
maintainer: "Ralf Vogler <ralf.vogler@gmail.com>"
license: "MIT"
homepage: "https://github.com/goblint/analyzer"
bug-reports: "https://github.com/goblint/analyzer/issues"
dev-repo: "git+https://github.com/goblint/analyzer.git"
build: [make]
depends: [
  "ocaml" {>= "4.04.1" & < "4.07"}
  "ocamlbuild" {build}
  "ocamlfind" {build}
  "goblint-cil" {build}
  "batteries" {build}
  "xml-light" {build}
  "ppx_distr_guards"
  "ppx_monadic"
  "ppx_import"
  "ppx_deriving"
  "ppx_deriving_yojson"
]
synopsis: "Static analysis framework for concurrent C"
url {
  src: "https://github.com/goblint/analyzer/archive/goblint-1.0.0.tar.gz"
  checksum: "md5=dd3ff7266e17f2772a17609d6bd960b8"
}
