opam-version: "2.0"
maintainer: "Steven De Oliveira <de.oliveira.steven@gmail.com>"
synopsis: "A polynomial invariant generator based on Frama-C"
authors: "Steven De Oliveira <de.oliveira.steven@gmail.com>"
dev-repo: "git+https://github.com/Stevendeo/Pilat.git"
homepage: "https://github.com/Stevendeo/Pilat/"
bug-reports: "https://github.com/Stevendeo/Pilat/"
license: "LGPLv2.1"
build: ["sh" "make.sh"]
install: ["sh" "install.sh"]
depends: [
  "ocaml" {>= "4.03.0"}
  "ocamlfind" {build}
  "lacaml"
  "zarith"
  "frama-c" {= "19.0"}
]
url {
  src: "https://github.com/Stevendeo/Pilat/archive/1.3.tar.gz"
  checksum: [
    "md5=70c732e7a2c3c5682a1acf2e4215c259"
    "sha512=ef4f4cc5502c2d4f1f43c8d652d34fe17234fc55d9d6f98f441c5560b68fd3f333bb951b15e975e6a6126a457eabeab78681061a489ecfbf196ee73fb6c10a33"
  ]
}
