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"]
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.1.tar.gz"
  checksum: "md5=a13b45e48ba6bfa35f38ed52cb639c13"
}
