opam-version: "2.0"
synopsis:
  "A toolset for describing and simulating StateChart-like state diagrams"
description:
  "A toolset for describing and simulating StateChart-like state diagrams"
maintainer: ["Jocelyn Sérot <jocelyn.serot@uca.fr>"]
authors: ["Jocelyn Sérot <jocelyn.serot@uca.fr>"]
license: "MIT"
homepage: "github.com/jserot/rfsm"
doc: "http://jserot.github.io/rfsm"
bug-reports: "jocelyn.serot@uca.fr"
depends: [
  "dune" {>= "1.11"}
  "menhir" {>= "2.0"}
  "ocaml" {>= "4.06"}
  "ocamlgraph"
  "lascar" {= "0.6-alpha"}
]
build: [
  ["dune" "subst"] {pinned}
  [
    "dune"
    "build"
    "-p"
    name
    "-j"
    jobs
    "@install"
    "@runtest" {with-test}
    "@doc" {with-doc}
  ]
]
dev-repo: "git+https://github.com/jserot/rfsm.git"
url {
  src:
    "https://github.com/jserot/rfsm/releases/download/v1.6-alpha-3/rfsm-v1.6-alpha-3.tbz"
  checksum: [
    "sha256=eb9583d2a7e354f00f4e0f6b2ea34f2825c92a15a21b708e03fa72c570104ab6"
    "sha512=baff3194770f85efc55e813bbf5e515e1d0d4fae44c492fc6c15ba4834cc41fae5ecb842de1b1fdea10bafe19b4b72320b829d862aeefc6d58845270d8b3088f"
  ]
}
