opam-version: "1.2"
maintainer: "alainmebsout@gmail.com"
authors: [
  "Sylvain Conchon"
  "Alain Mebsout"
]
homepage: "http://cubicle.lri.fr"
license: "Apache Software License version 2.0"
bug-reports: "https://github.com/cubicle-model-checker/cubicle/issues"
dev-repo: "https://github.com/cubicle-model-checker/cubicle.git"

build: [
  ["./configure" "--prefix" prefix]
  [make]
]
depends: ["ocamlfind" "num"]
depopts: ["functory"]
conflicts: [
  "functory" {< "0.5"}
]
available: [ ocaml-version >= "4.03.0"]
