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 "odoc" {with-doc}
21 "ocamlgraph" {>= "1.8.8"}
22 "ppxlib" {>= "0.9.0" & < "0.14.0"}
23]
24build: [
25 ["dune" "subst"] {dev}
26 [
27 "dune"
28 "build"
29 "-p"
30 name
31 "-j"
32 jobs
33 "@install"
34 "@runtest" {with-test}
35 "@doc" {with-doc}
36 ]
37]
38dev-repo: "git+https://github.com/nuscr/nuscr.git"
39url {
40 src:
41 "https://github.com/nuscr/nuscr/releases/download/1.1.0/nuscr-web-1.1.0.tbz"
42 checksum: [
43 "sha256=c71f537d6eff636e6feee070f348543acefcc7da29f727cabad1fb45944ec8ab"
44 "sha512=340005de60705cd64ca580e6a9450c033f032b1ee2e75635cd5d35c0471cd4add2d501c87ad4877ba620ea01b801eb000053d3a21c34019e279c3d2a77aff556"
45 ]
46}