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.10"}
16 "menhir" {>= "20190924"}
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 "ppx_here" {>= "v0.12.0"}
23 "z3" {with-test}
24 "odoc" {with-doc}
25 "ocamlgraph" {>= "1.8.8"}
26 "ppxlib" {>= "0.22.0"}
27 "cmdliner" {>= "1.1.0"}
28 "process" {>= "0.2.1"}
29]
30build: [
31 ["dune" "subst"] {dev}
32 [
33 "dune"
34 "build"
35 "-p"
36 name
37 "-j"
38 jobs
39 "@install"
40 "@runtest" {with-test}
41 "@doc" {with-doc}
42 ]
43]
44dev-repo: "git+https://github.com/nuscr/nuscr.git"
45patches: ["fix-cram-tests.patch"]
46url {
47 src: "https://github.com/nuscr/nuscr/releases/download/2.1.1/nuscr-2.1.1.tbz"
48 checksum: [
49 "sha256=c5a419fd1fdea78fb63b3a3c335b0e6b0f2b08d65b79870565bdcc0f997bc728"
50 "sha512=83ef593ed514eeef1b10069af54562833d617d1c338c5adaf82ee5c3ea7ec4569b3643fcbb237b3cb79ce2f579094cbd17217efa5f4e522bd20f67e1df3a7dbd"
51 ]
52}
53x-commit-hash: "099d8e3d832d172d1b7d6aa0580eb95310394b99"
54extra-source "fix-cram-tests.patch" {
55 src:
56 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/nuscr/fix-cram-tests.patch"
57 checksum:
58 "sha256=5978c44e5e66b601db71722bf591bad780fcfc02c7cae59db54690726cc1f8a3"
59}