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"}
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.0/nuscr-2.1.0.tbz"
48 checksum: [
49 "sha256=4798916862412a0ac4721f63b77c243d7d7327c8ff2d18d379eb2f4202d43e4d"
50 "sha512=8475f03a5e81fbde01fb6ddd90f2c07d8a327d5d71301a8da6e169c5c1c8a8f94f528296b2c2d2be7abfbe10fceee048834926abbf5e739a62274f904a8f0869"
51 ]
52}
53x-commit-hash: "1c46fddf7c2703fe9f792f81fd899c03fca2c9db"
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}