File tree Expand file tree Collapse file tree 1 file changed +40
-0
lines changed Expand file tree Collapse file tree 1 file changed +40
-0
lines changed Original file line number Diff line number Diff line change 1+ opam-version: "2.0"
2+ synopsis:
3+ "A toolset for describing and simulating StateChart-like state diagrams"
4+ maintainer: ["Jocelyn Sérot <
[email protected] >"]
5+ authors: ["Jocelyn Sérot <
[email protected] >"]
6+ license: "MIT"
7+ homepage: "http://github.com/jserot/rfsm"
8+ 9+ depends: [
10+ "dune" {>= "3.11"}
11+ "menhir" {>= "2.0"}
12+ "ocamlgraph" {>= "2.0"}
13+ "ppx_deriving" {>= "5.0"}
14+ "ocaml" {>= "5.0.0"}
15+ "yojson" {>= "2.0"}
16+ "odoc" {with-doc}
17+ ]
18+ available: [os != "win32"]
19+ build: [
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+ ]
33+ dev-repo: "git+https://github.com/jserot/rfsm.git"
34+ url {
35+ src: "https://github.com/jserot/rfsm/archive/refs/tags/2.2.tar.gz"
36+ checksum: [
37+ "md5=ea1b496f0aa758933ae23921ee55a531"
38+ "sha512=4fa72747bb2e32f91d64e4b8c24f60d6f0bdad297cc40f36d5c687ed1de900ab8441fa8a12aecf2523928833cddd5391fa87c11a1af2162ac8001467e8f485a5"
39+ ]
40+ }
You can’t perform that action at this time.
0 commit comments