this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis:
3 "A toolset for describing and simulating StateChart-like state diagrams"
4description:
5 "A toolset for describing and simulating StateChart-like state diagrams"
6maintainer: ["Jocelyn Sérot <jocelyn.serot@uca.fr>"]
7authors: ["Jocelyn Sérot <jocelyn.serot@uca.fr>"]
8license: "MIT"
9homepage: "http://github.com/jserot/rfsm"
10doc: "http://jserot.github.io/rfsm"
11bug-reports: "jocelyn.serot@uca.fr"
12depends: [
13 "dune" {>= "1.11"}
14 "menhir" {>= "2.0" & < "20211215"}
15 "lascar" {>= "0.6.0"}
16 "ocamlgraph" {>= "1.8"}
17 "ocaml" {>= "4.08"}
18]
19build: [
20 ["dune" "subst"] {dev}
21 [
22 "dune"
23 "build"
24 "-p"
25 name
26 "-j"
27 jobs
28 "@install"
29 "@runtest" {with-test}
30 "@doc" {with-doc}
31 ]
32]
33dev-repo: "git+https://github.com/jserot/rfsm.git"
34url {
35 src:
36 "https://github.com/jserot/rfsm/releases/download/1.6.0/rfsm-1.6.0.tbz"
37 checksum: [
38 "sha256=04c4a433c4ac0678193d7cc45dcd09967f9518fa7bcbf88b1cd3662f9e106c72"
39 "sha512=7c7d568cdcb368cb33d1e3aa71e3456295ed0fe96f5879efbf2f8457cd370f854050df2faa987312251920bd7013134d86b69553dc9f60fe946e169c66b44d3b"
40 ]
41}