commit bc0566f633b97078d16defc3f611186d14d31d6b · anil.recoil.org/opam-repository

+36

packages/dirsp-exchange-kbb2017/dirsp-exchange-kbb2017.0.1.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis:

     

       3
       3
       +
         "The formally verified KBB2017 protocol for 1-on-1 secure conversations similar to the Signal Protocol"

     

       4
       4
       +
       description: """\

     

       5
       5
       +
       Dirsp is a short form for Diskuv Implementations of Research Security Protocols.

     

       6
       6
       +
       The [dirsp-exchange-kbb2017] library implements the Kobeissi, Bhargavan and Blanchet 2017

     

       7
       7
       +
       protocol that is a variant of the Signal Protocol v3 and has been verified

     

       8
       8
       +
       using two complementary formal methodologies."""

     

       9
       9
       +
       maintainer: "opensource+dirsp-exchange-kbb2017@support.diskuv.com"

     

       10
       10
       +
       authors:

     

       11
       11
       +
         "[Diskuv, Inc. <opensource+dirsp-exchange-kbb2017@support.diskuv.com>]"

     

       12
       12
       +
       license: "Apache-2.0"

     

       13
       13
       +
       tags: "org:diskuv"

     

       14
       14
       +
       homepage: "https://github.com/diskuv/dirsp-exchange"

     

       15
       15
       +
       bug-reports: "https://github.com/diskuv/dirsp-exchange/issues"

     

       16
       16
       +
       depends: [

     

       17
       17
       +
         "ocaml" {>= "4.08.0"}

     

       18
       18
       +
         "dune" {>= "2.6.0"}

     

       19
       19
       +
         "dirsp-proscript" {= version}

     

       20
       20
       +
         "ppx_deriving_protobuf" {>= "3.0.0"}

     

       21
       21
       +
         "alcotest" {>= "1.4.0" & with-test}

     

       22
       22
       +
         "dirsp-proscript-mirage" {= version & with-test}

     

       23
       23
       +
       ]

     

       24
       24
       +
       build: [

     

       25
       25
       +
         ["dune" "subst"] {dev}

     

       26
       26
       +
         ["dune" "build" "-p" name "-j" jobs]

     

       27
       27
       +
         ["dune" "runtest" "-p" name "-j" jobs] {with-test}

     

       28
       28
       +
       ]

     

       29
       29
       +
       dev-repo: "git+https://github.com/diskuv/dirsp-exchange.git"

     

       30
       30
       +
       url {

     

       31
       31
       +
         src: "https://github.com/diskuv/dirsp-exchange/archive/0.1.0.tar.gz"

     

       32
       32
       +
         checksum: [

     

       33
       33
       +
           "md5=a3c6f4b221fb9732bc55ab4c44e39c14"

     

       34
       34
       +
           "sha512=0500d75ff0d3ac187e876d0c3b888ce7d6396ea5bf55ec4aca4a0adfc4ac76d3838bbcb2d6efcc40e2cecb7fc2070ebe362ed2a6606dc42790588f7a0966d199"

     

       35
       35
       +
         ]

     

       36
       36
       +
       }

+33

packages/dirsp-exchange/dirsp-exchange.0.1.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "Published protocols for the authenticated message exchange"

     

       3
       3
       +
       description: """\

     

       4
       4
       +
       Dirsp is a short form for Diskuv Implementations of Research Security Protocols.

     

       5
       5
       +
       The [dirsp-exchange] library is a no-op as of May 2021, but will have high-level

     

       6
       6
       +
       APIs that can stitch together the sub-libraries like [dirsp-exchange-kbb2017].

     

       7
       7
       +
       These [dirsp-exchange-*] sublibraries are implementations of research/academic

     

       8
       8
       +
       protocols published in the field of authenticated message exchange."""

     

       9
       9
       +
       maintainer: "opensource+dirsp-exchange@support.diskuv.com"

     

       10
       10
       +
       authors: "[Diskuv, Inc. <opensource+dirsp-exchange@support.diskuv.com>]"

     

       11
       11
       +
       license: "Apache-2.0"

     

       12
       12
       +
       tags: "org:diskuv"

     

       13
       13
       +
       homepage: "https://github.com/diskuv/dirsp-exchange"

     

       14
       14
       +
       bug-reports: "https://github.com/diskuv/dirsp-exchange/issues"

     

       15
       15
       +
       depends: [

     

       16
       16
       +
         "ocaml" {>= "4.08.0"}

     

       17
       17
       +
         "dune" {>= "2.6.0"}

     

       18
       18
       +
         "dirsp-exchange-kbb2017" {= version}

     

       19
       19
       +
         "ppx_deriving_protobuf" {>= "3.0.0"}

     

       20
       20
       +
       ]

     

       21
       21
       +
       build: [

     

       22
       22
       +
         ["dune" "subst"] {dev}

     

       23
       23
       +
         ["dune" "build" "-p" name "-j" jobs]

     

       24
       24
       +
         ["dune" "runtest" "-p" name "-j" jobs] {with-test}

     

       25
       25
       +
       ]

     

       26
       26
       +
       dev-repo: "git+https://github.com/diskuv/dirsp-exchange.git"

     

       27
       27
       +
       url {

     

       28
       28
       +
         src: "https://github.com/diskuv/dirsp-exchange/archive/0.1.0.tar.gz"

     

       29
       29
       +
         checksum: [

     

       30
       30
       +
           "md5=a3c6f4b221fb9732bc55ab4c44e39c14"

     

       31
       31
       +
           "sha512=0500d75ff0d3ac187e876d0c3b888ce7d6396ea5bf55ec4aca4a0adfc4ac76d3838bbcb2d6efcc40e2cecb7fc2070ebe362ed2a6606dc42790588f7a0966d199"

     

       32
       32
       +
         ]

     

       33
       33
       +
       }

+43

packages/dirsp-proscript-mirage/dirsp-proscript-mirage.0.1.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis:

     

       3
       3
       +
         "Mirage crypto backed implementation of the ProScript Cryptography Library"

     

       4
       4
       +
       description: """\

     

       5
       5
       +
       Dirsp is a short form for Diskuv Implementations of Research Security Protocols.

     

       6
       6
       +
       The [dirsp-proscript-mirage] library is an implementation based on

     

       7
       7
       +
       mirage-crypto / mirage-crypto-rng / mirage-crypto-ecc of the

     

       8
       8
       +
       ProScript Cryptography Library. ProScript is a subset of JavaScript that can be

     

       9
       9
       +
       verified with formal security proofs.

     

       10
       10
       +
       

     

       11
       11
       +
       The implementation comes with tests: an overlapping-pairs-sparse-occupancy test

     

       12
       12
       +
       for randomness, wycheproof test vectors for DH25519 (aka X25519) and RFC 8032

     

       13
       13
       +
       test vectors for EDH25519 (aka Ed25519)."""

     

       14
       14
       +
       maintainer: "opensource+dirsp-proscript-mirage@support.diskuv.com"

     

       15
       15
       +
       authors:

     

       16
       16
       +
         "[Diskuv, Inc. <opensource+dirsp-proscript-mirage@support.diskuv.com>]"

     

       17
       17
       +
       license: "Apache-2.0"

     

       18
       18
       +
       tags: "org:diskuv"

     

       19
       19
       +
       homepage: "https://github.com/diskuv/dirsp-exchange"

     

       20
       20
       +
       bug-reports: "https://github.com/diskuv/dirsp-exchange/issues"

     

       21
       21
       +
       depends: [

     

       22
       22
       +
         "ocaml" {>= "4.08.0"}

     

       23
       23
       +
         "dune" {>= "2.6.0"}

     

       24
       24
       +
         "dirsp-proscript" {= version}

     

       25
       25
       +
         "mirage-crypto-rng" {>= "0.8.1"}

     

       26
       26
       +
         "mirage-crypto-ec" {>= "0.10.0"}

     

       27
       27
       +
         "ppx_deriving_protobuf" {>= "3.0.0"}

     

       28
       28
       +
         "alcotest" {>= "1.4.0" & with-test}

     

       29
       29
       +
         "iter" {>= "1.2.1" & with-test}

     

       30
       30
       +
       ]

     

       31
       31
       +
       build: [

     

       32
       32
       +
         ["dune" "subst"] {dev}

     

       33
       33
       +
         ["dune" "build" "-p" name "-j" jobs]

     

       34
       34
       +
         ["dune" "runtest" "-p" name "-j" jobs] {with-test}

     

       35
       35
       +
       ]

     

       36
       36
       +
       dev-repo: "git+https://github.com/diskuv/dirsp-exchange.git"

     

       37
       37
       +
       url {

     

       38
       38
       +
         src: "https://github.com/diskuv/dirsp-exchange/archive/0.1.0.tar.gz"

     

       39
       39
       +
         checksum: [

     

       40
       40
       +
           "md5=a3c6f4b221fb9732bc55ab4c44e39c14"

     

       41
       41
       +
           "sha512=0500d75ff0d3ac187e876d0c3b888ce7d6396ea5bf55ec4aca4a0adfc4ac76d3838bbcb2d6efcc40e2cecb7fc2070ebe362ed2a6606dc42790588f7a0966d199"

     

       42
       42
       +
         ]

     

       43
       43
       +
       }

+32

packages/dirsp-proscript/dirsp-proscript.0.1.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "OCaml-ified interfaces for the ProScript Cryptography Library"

     

       3
       3
       +
       description: """\

     

       4
       4
       +
       Dirsp is a short form for Diskuv Implementations of Research Security Protocols.

     

       5
       5
       +
       The [dirsp-proscript] library vends an OCaml-ified interface for the

     

       6
       6
       +
       ProScript language. ProScript is a subset of JavaScript that can be

     

       7
       7
       +
       verified with formal security proofs."""

     

       8
       8
       +
       maintainer: "opensource+dirsp-proscript@support.diskuv.com"

     

       9
       9
       +
       authors: "[Diskuv, Inc. <opensource+dirsp-proscript@support.diskuv.com>]"

     

       10
       10
       +
       license: "Apache-2.0"

     

       11
       11
       +
       tags: "org:diskuv"

     

       12
       12
       +
       homepage: "https://github.com/diskuv/dirsp-exchange"

     

       13
       13
       +
       bug-reports: "https://github.com/diskuv/dirsp-exchange/issues"

     

       14
       14
       +
       depends: [

     

       15
       15
       +
         "ocaml" {>= "4.08.0"}

     

       16
       16
       +
         "dune" {>= "2.6.0"}

     

       17
       17
       +
         "cstruct" {>= "6.0.0"}

     

       18
       18
       +
         "ppx_deriving_protobuf" {>= "3.0.0"}

     

       19
       19
       +
       ]

     

       20
       20
       +
       build: [

     

       21
       21
       +
         ["dune" "subst"] {dev}

     

       22
       22
       +
         ["dune" "build" "-p" name "-j" jobs]

     

       23
       23
       +
         ["dune" "runtest" "-p" name "-j" jobs] {with-test}

     

       24
       24
       +
       ]

     

       25
       25
       +
       dev-repo: "git+https://github.com/diskuv/dirsp-exchange.git"

     

       26
       26
       +
       url {

     

       27
       27
       +
         src: "https://github.com/diskuv/dirsp-exchange/archive/0.1.0.tar.gz"

     

       28
       28
       +
         checksum: [

     

       29
       29
       +
           "md5=a3c6f4b221fb9732bc55ab4c44e39c14"

     

       30
       30
       +
           "sha512=0500d75ff0d3ac187e876d0c3b888ce7d6396ea5bf55ec4aca4a0adfc4ac76d3838bbcb2d6efcc40e2cecb7fc2070ebe362ed2a6606dc42790588f7a0966d199"

     

       31
       31
       +
         ]

     

       32
       32
       +
       }

+35

packages/dirsp-ps2ocaml/dirsp-ps2ocaml.0.1.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "ProScript to OCaml translator"

     

       3
       3
       +
       description: """\

     

       4
       4
       +
       Dirsp is a short form for Diskuv Implementations of Research Security Protocols.

     

       5
       5
       +
       The [dirsp-ps2ocaml] executable translates ProScript, which is a subset of

     

       6
       6
       +
       JavaScript that can be verified with formal security proofs, into OCaml."""

     

       7
       7
       +
       maintainer: "opensource+dirsp-ps2ocaml@support.diskuv.com"

     

       8
       8
       +
       authors: "[Diskuv, Inc. <opensource+dirsp-ps2ocaml@support.diskuv.com>]"

     

       9
       9
       +
       license: "Apache-2.0"

     

       10
       10
       +
       tags: "org:diskuv"

     

       11
       11
       +
       homepage: "https://github.com/diskuv/dirsp-exchange"

     

       12
       12
       +
       bug-reports: "https://github.com/diskuv/dirsp-exchange/issues"

     

       13
       13
       +
       depends: [

     

       14
       14
       +
         "ocaml" {>= "4.08.0"}

     

       15
       15
       +
         "dune" {>= "2.6.0"}

     

       16
       16
       +
         "menhir" {>= "20210419"}

     

       17
       17
       +
         "menhirLib" {>= "20210419"}

     

       18
       18
       +
         "pcre" {>= "7.4.6"}

     

       19
       19
       +
         "ppx_deriving_protobuf" {>= "3.0.0"}

     

       20
       20
       +
         "ulex" {>= "1.2"}

     

       21
       21
       +
         "alcotest" {>= "1.4.0" & with-test}

     

       22
       22
       +
       ]

     

       23
       23
       +
       build: [

     

       24
       24
       +
         ["dune" "subst"] {dev}

     

       25
       25
       +
         ["dune" "build" "-p" name "-j" jobs]

     

       26
       26
       +
         ["dune" "runtest" "-p" name "-j" jobs] {with-test}

     

       27
       27
       +
       ]

     

       28
       28
       +
       dev-repo: "git+https://github.com/diskuv/dirsp-exchange.git"

     

       29
       29
       +
       url {

     

       30
       30
       +
         src: "https://github.com/diskuv/dirsp-exchange/archive/0.1.0.tar.gz"

     

       31
       31
       +
         checksum: [

     

       32
       32
       +
           "md5=a3c6f4b221fb9732bc55ab4c44e39c14"

     

       33
       33
       +
           "sha512=0500d75ff0d3ac187e876d0c3b888ce7d6396ea5bf55ec4aca4a0adfc4ac76d3838bbcb2d6efcc40e2cecb7fc2070ebe362ed2a6606dc42790588f7a0966d199"

     

       34
       34
       +
         ]

     

       35
       35
       +
       }