opam-version: "2.0"
maintainer: "jocelyn.serot@uca.fr"
authors: [
  "Jocelyn Sérot <jocelyn.serot@uca.fr>"
]
homepage: "http://dream.ispr-ip.fr/RFSM"
dev-repo: "git://github.com/jserot/rfsm.git"
bug-reports: "jocelyn.serot@uca.fr"
license: "MIT"
build: [
  ["./configure" "--no-gui" "--no-doc"]
  [make "opam"]
]
install: [
  [make "install-opam"]
]
depends: [
  "ocaml" {>= "4.03"}
  "camlp4"
  "ocamlfind" {build}
  "ocamlbuild" {build}
  "ocamlgraph"
  "menhir"
  "lascar" {< "0.6.0"}
]
synopsis:
  "A toolset for describing and simulating StateChart-like state diagrams"
url {
  src: "https://dream.ispr-ip.fr/RFSM/dist/rfsm.tar.gz"
  checksum: [
    "md5=282f7edd81e19e0a5e3856d42759158a"
    "sha512=7c0222cceab482593366ab9b8cc4cd3b10aa49b41d183630a825809be3dee4b701a7381c2789cda82a70f43ee49db321b400401ab07cfa335e76604223d55c87"
  ]
}
