this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis:
3 "A tool to manipulate and validate Scribble-style multiparty protocols"
4description:
5 "A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory. The toolkit provides means to define global protocols, project to local protocols, convert local protocols to a CFSM representation, and generate OCaml code for protocol implementations."
6maintainer: ["Francisco Ferreira"]
7authors: ["Francisco Ferreira" "Fangyi Zhou" "Simon Castellan"]
8license: "GPL-3.0-or-later"
9homepage: "https://nuscr.github.io/nuscr/"
10doc: "https://nuscr.github.io/nuscr/docs/"
11bug-reports: "https://github.com/nuscr/nuscr/issues"
12depends: [
13 "menhir" {build & >= "20190924"}
14 "ppx_deriving" {>= "4.4"}
15 "dune" {>= "1.11.4"}
16 "base" {>= "v0.12.0"}
17 "stdio" {>= "v0.12.0"}
18 "ppx_sexp_conv" {>= "v0.12.0"}
19 "ppx_inline_test" {with-test}
20 "ocamlgraph" {>= "1.8.8"}
21 "js_of_ocaml" {>= "3.5.0"}
22 "js_of_ocaml-ppx" {>= "3.5.0"}
23 "js_of_ocaml-tyxml" {>= "3.5.0"}
24 "ppxlib" {>= "0.8.1" & < "0.9.0"}
25]
26build: [
27 ["dune" "subst"] {dev}
28 [
29 "dune"
30 "build"
31 "-p"
32 name
33 "-j"
34 jobs
35 "@install"
36 "@runtest" {with-test}
37 "@doc" {with-doc}
38 ]
39]
40dev-repo: "git+https://github.com/nuscr/nuscr.git"
41url {
42 src:
43 "https://github.com/nuscr/nuscr/releases/download/1.0.0/nuscr-1.0.0.tbz"
44 checksum: [
45 "sha256=b2b78b2e7684d65c53d8d3aec7349147b860fc586e37bfcff9126d898e86f4d1"
46 "sha512=d39fdacdab56788fbdbeda0d5da6d1279881273e188f4437b182f128785bf547cd7ac91c9fcb60e93676385de4db759c6c3279e2748e717171c3749316102e80"
47 ]
48}