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: [
8 "Francisco Ferreira" "Fangyi Zhou" "Simon Castellan" "Benito Echarren"
9]
10license: "GPL-3.0-or-later"
11homepage: "https://nuscr.dev/"
12doc: "https://nuscr.dev/nuscr/docs/"
13bug-reports: "https://github.com/nuscr/nuscr/issues"
14depends: [
15 "ocaml" {>= "4.08"}
16 "menhir" {>= "20190924" & < "20211215"}
17 "ppx_deriving" {>= "5.2"}
18 "dune" {>= "2.8"}
19 "base" {>= "v0.12.0" & < "v0.17" }
20 "stdio" {>= "v0.12.0"}
21 "ppx_sexp_conv" {>= "v0.12.0"}
22 "z3" {with-test}
23 "odoc" {with-doc}
24 "ocamlgraph" {>= "1.8.8"}
25 "ppxlib" {>= "0.22.0"}
26 "cmdliner" {>= "1.0.4"}
27 "process" {>= "0.2.1"}
28]
29build: [
30 ["dune" "subst"] {dev}
31 [
32 "dune"
33 "build"
34 "-p"
35 name
36 "-j"
37 jobs
38 "@install"
39 "@runtest" {with-test}
40 "@doc" {with-doc}
41 ]
42]
43dev-repo: "git+https://github.com/nuscr/nuscr.git"
44url {
45 src: "https://github.com/nuscr/nuscr/releases/download/2.0.0/nuscr-web-2.0.0.tbz"
46 checksum: [
47 "sha256=fbd17793416c225702a93f52e200e48faa37721cab4d16c3d997500407c6fede"
48 "sha512=da005593f3ae30c2566121452535c2405508f197f26962ac25d402e40245b3c8344d5a654cd3e3069f85458b232a845bc4a0371bacc59741dfb067e88cd3d6d0"
49 ]
50}
51x-commit-hash: "376b3b0af868aea0a7be12423b9724afdec21154"