-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
36 lines (36 loc) · 1.41 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
opam-version: "2.0"
synopsis:
"The formally verified KBB2017 protocol for 1-on-1 secure conversations similar to the Signal Protocol"
description: """\
Dirsp is a short form for Diskuv Implementations of Research Security Protocols.
The [dirsp-exchange-kbb2017] library implements the Kobeissi, Bhargavan and Blanchet 2017
protocol that is a variant of the Signal Protocol v3 and has been verified
using two complementary formal methodologies."""
maintainer: "opensource+dirsp-exchange-kbb2017@support.diskuv.com"
authors:
"[Diskuv, Inc. <opensource+dirsp-exchange-kbb2017@support.diskuv.com>]"
license: "Apache-2.0"
tags: "org:diskuv"
homepage: "https://github.com/diskuv/dirsp-exchange"
bug-reports: "https://github.com/diskuv/dirsp-exchange/issues"
depends: [
"ocaml" {>= "4.08.0"}
"dune" {>= "2.6.0"}
"dirsp-proscript" {= version}
"ppx_deriving_protobuf" {>= "3.0.0"}
"alcotest" {>= "1.4.0" & with-test}
"dirsp-proscript-mirage" {= version & with-test}
]
build: [
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
dev-repo: "git+https://github.com/diskuv/dirsp-exchange.git"
url {
src: "https://github.com/diskuv/dirsp-exchange/archive/0.1.0.tar.gz"
checksum: [
"md5=a3c6f4b221fb9732bc55ab4c44e39c14"
"sha512=0500d75ff0d3ac187e876d0c3b888ce7d6396ea5bf55ec4aca4a0adfc4ac76d3838bbcb2d6efcc40e2cecb7fc2070ebe362ed2a6606dc42790588f7a0966d199"
]
}