this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "jocelyn.serot@uca.fr"
3authors: [
4 "Jocelyn Sérot <jocelyn.serot@uca.fr>"
5]
6homepage: "http://cloud.ip.uca.fr/~serot/rfsm/"
7dev-repo: "git+https://github.com/jserot/rfsm.git"
8bug-reports: "jocelyn.serot@uca.fr"
9license: "MIT"
10build: [
11 ["./configure" "--no-gui"]
12 [make "opam"]
13]
14install: [
15 [make "install-opam"]
16]
17remove: [
18 [make "uninstall-opam"]
19]
20depends: [
21 "ocaml" {>= "4.03"}
22 "camlp4"
23 "ocamlfind" {build}
24 "ocamlbuild" {build}
25 "ocamlgraph"
26 "menhir" {< "20211215"}
27 "lascar" {< "0.6.0"}
28]
29available: opam-version < "2.0.9"
30synopsis:
31 "A toolset for describing and simulating StateChart-like state diagrams."
32url {
33 src: "http://cloud.ip.univ-bpclermont.fr/~serot/rfsm/dist/rfsm-1.0.tar.gz"
34 checksum: [
35 "sha256=96f4c7d26d25478c018afcd2c3c58c12719c5e745797a590bc61c6608ed54025"
36 "md5=e4d7f1086eb346e7a61760036f059bc6"
37 ]
38}