this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Published protocols for the authenticated message exchange"
3description: """\
4Dirsp is a short form for Diskuv Implementations of Research Security Protocols.
5The [dirsp-exchange] library is a no-op as of May 2021, but will have high-level
6APIs that can stitch together the sub-libraries like [dirsp-exchange-kbb2017].
7These [dirsp-exchange-*] sublibraries are implementations of research/academic
8protocols published in the field of authenticated message exchange."""
9maintainer: "opensource+dirsp-exchange@support.diskuv.com"
10authors: "[Diskuv, Inc. <opensource+dirsp-exchange@support.diskuv.com>]"
11license: "Apache-2.0"
12tags: "org:diskuv"
13homepage: "https://github.com/diskuv/dirsp-exchange"
14bug-reports: "https://github.com/diskuv/dirsp-exchange/issues"
15depends: [
16 "ocaml" {>= "4.08.0"}
17 "dune" {>= "2.6.0"}
18 "dirsp-exchange-kbb2017" {= version}
19 "ppx_deriving_protobuf" {>= "3.0.0"}
20]
21build: [
22 ["dune" "subst"] {dev}
23 ["dune" "build" "-p" name "-j" jobs]
24 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
25]
26dev-repo: "git+https://github.com/diskuv/dirsp-exchange.git"
27url {
28 src: "https://github.com/diskuv/dirsp-exchange/archive/0.1.0.tar.gz"
29 checksum: [
30 "md5=a3c6f4b221fb9732bc55ab4c44e39c14"
31 "sha512=0500d75ff0d3ac187e876d0c3b888ce7d6396ea5bf55ec4aca4a0adfc4ac76d3838bbcb2d6efcc40e2cecb7fc2070ebe362ed2a6606dc42790588f7a0966d199"
32 ]
33}