this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis:
3 "Mirage crypto backed implementation of the ProScript Cryptography Library"
4description: """\
5Dirsp is a short form for Diskuv Implementations of Research Security Protocols.
6The [dirsp-proscript-mirage] library is an implementation based on
7mirage-crypto / mirage-crypto-rng / mirage-crypto-ecc of the
8ProScript Cryptography Library. ProScript is a subset of JavaScript that can be
9verified with formal security proofs.
10
11The implementation comes with tests: an overlapping-pairs-sparse-occupancy test
12for randomness, wycheproof test vectors for DH25519 (aka X25519) and RFC 8032
13test vectors for EDH25519 (aka Ed25519)."""
14maintainer: "opensource+dirsp-proscript-mirage@support.diskuv.com"
15authors:
16 "[Diskuv, Inc. <opensource+dirsp-proscript-mirage@support.diskuv.com>]"
17license: "Apache-2.0"
18tags: "org:diskuv"
19homepage: "https://github.com/diskuv/dirsp-exchange"
20bug-reports: "https://github.com/diskuv/dirsp-exchange/issues"
21depends: [
22 "ocaml" {>= "4.08.0"}
23 "dune" {>= "2.6.0"}
24 "dirsp-proscript" {= version}
25 "mirage-crypto-rng" {>= "0.8.1" & < "0.11.0"}
26 "mirage-crypto-ec" {>= "0.10.0" & < "1.0.0"}
27 "ppx_deriving_protobuf" {>= "3.0.0"}
28 "alcotest" {>= "1.4.0" & with-test}
29 "iter" {>= "1.2.1" & with-test}
30]
31build: [
32 ["dune" "subst"] {dev}
33 ["dune" "build" "-p" name "-j" jobs]
34 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
35]
36dev-repo: "git+https://github.com/diskuv/dirsp-exchange.git"
37url {
38 src: "https://github.com/diskuv/dirsp-exchange/archive/0.1.0.tar.gz"
39 checksum: [
40 "md5=a3c6f4b221fb9732bc55ab4c44e39c14"
41 "sha512=0500d75ff0d3ac187e876d0c3b888ce7d6396ea5bf55ec4aca4a0adfc4ac76d3838bbcb2d6efcc40e2cecb7fc2070ebe362ed2a6606dc42790588f7a0966d199"
42 ]
43}