opam-version: "2.0"
maintainer: "mebsout@lri.fr"
authors: [
  "Sylvain Conchon"
  "Alain Mebsout"
]
homepage: "http://cubicle.lri.fr"
license: "Apache-2.0"
build: [
  ["./configure" "--prefix" prefix]
  [make]
]
depends: [
  "ocaml" {>= "4.00.0" & < "4.03.0"}
  "ocamlfind"
  "num"
]
depopts: ["functory"]
depexts: [
  ["graphviz"] {os-family = "debian"}
]
conflicts: [
  "functory" {< "0.5"}
]
install: [make "install" "MANDIR=%{man}%"]
synopsis: "SMT based model checker for parameterized systems"
extra-files: ["cubicle.install" "md5=ba6d18615d00544948c96638b6c8d900"]
url {
  src: "http://cubicle.lri.fr/cubicle-1.0.tar.gz"
  checksum: "md5=24b163eb77e6832747dccd6cc8a5d57c"
}
