opam-version: "2.0"
maintainer: "alainmebsout@gmail.com"
authors: [
  "Sylvain Conchon"
  "Alain Mebsout"
]
homepage: "http://cubicle.lri.fr"
license: "Apache-2.0"
bug-reports: "https://github.com/cubicle-model-checker/cubicle/issues"
dev-repo: "git+https://github.com/cubicle-model-checker/cubicle.git"
build: [
  ["./configure" "--prefix" prefix]
  [make]
]
depends: [
  "ocaml" {>= "4.03.0"}
  "ocamlfind"
  "num"
]
depopts: ["functory"]
conflicts: [
  "functory" {< "0.5"}
]
synopsis: "SMT based model checker for parameterized systems"
extra-files: ["cubicle.install" "md5=ba6d18615d00544948c96638b6c8d900"]
url {
  src:
    "https://github.com/cubicle-model-checker/cubicle/releases/download/1.1.2/cubicle-1.1.2.tar.gz"
  checksum: "md5=706b3405ea9400b6a1b21dec9c2cb02f"
}
