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://dream.ispr-ip.fr/RFSM"
7dev-repo: "git+https://github.com/jserot/rfsm.git"
8bug-reports: "jocelyn.serot@uca.fr"
9license: "MIT"
10build: [
11 ["./configure" "--no-gui" "--no-doc"]
12 [make "opam"]
13]
14install: [
15 [make "install-opam"]
16]
17depends: [
18 "ocaml" {>= "4.03"}
19 "camlp4"
20 "ocamlfind" {build}
21 "ocamlbuild" {build}
22 "ocamlgraph"
23 "menhir" {< "20211215"}
24 "lascar" {< "0.6.0"}
25]
26synopsis:
27 "A toolset for describing and simulating StateChart-like state diagrams"
28url {
29 src: "https://dream.ispr-ip.fr/RFSM/dist/rfsm.tar.gz"
30 checksum: [
31 "md5=282f7edd81e19e0a5e3856d42759158a"
32 "sha512=7c0222cceab482593366ab9b8cc4cd3b10aa49b41d183630a825809be3dee4b701a7381c2789cda82a70f43ee49db321b400401ab07cfa335e76604223d55c87"
33 ]
34}