From 045b0150027083c94a3d04035cd286164ee051e4 Mon Sep 17 00:00:00 2001 From: Etienne Millon Date: Tue, 23 Jul 2019 14:22:43 +0200 Subject: [PATCH 1/3] [new release] fiat-p256 (0.2.0) CHANGES: *2019-07-23* ### Fixed - Fix a bug in `generate_key` where it would never actually work when used with a proper `rng` function (mirage/fiat#44, @NathanReb) - Fix benchmark executable. It is now built (but not executed) as part of tests (mirage/fiat#45, @emillon) ### Changed - Use `alcotest` instead of `ppx_expect` for tests (mirage/fiat#43, @emillon) --- packages/fiat-p256/fiat-p256.0.2.0/opam | 48 +++++++++++++++++++++++++ 1 file changed, 48 insertions(+) create mode 100644 packages/fiat-p256/fiat-p256.0.2.0/opam diff --git a/packages/fiat-p256/fiat-p256.0.2.0/opam b/packages/fiat-p256/fiat-p256.0.2.0/opam new file mode 100644 index 000000000000..6e125d9397f6 --- /dev/null +++ b/packages/fiat-p256/fiat-p256.0.2.0/opam @@ -0,0 +1,48 @@ +opam-version: "2.0" +maintainer: "Etienne Millon " +license: "MIT" +authors: [ + "Etienne Millon " + "Andres Erbsen " + "Google Inc." + "Jade Philipoom " + "Massachusetts Institute of Technology" +] +homepage: "https://github.com/mirage/fiat" +bug-reports: "https://github.com/mirage/fiat/issues" +dev-repo: "git+https://github.com/mirage/fiat.git" +doc: "https://mirage.github.io/fiat/doc" +tags: ["org:mirage"] +build: [ + ["dune" "subst"] {pinned} + ["dune" "build" "-p" name "-j" jobs] + ["dune" "runtest" "-p" name] {with-test} +] +depends: [ + "alcotest" {with-test} + "asn1-combinators" {with-test} + "benchmark" {with-test} + "bigarray-compat" + "cstruct" {>= "3.5.0"} + "dune" {build & >= "1.6.0"} + "hex" + "ppx_deriving_yojson" {with-test} + "rresult" {with-test} + "yojson" {with-test & >= "1.6.0"} +] +synopsis: "Primitives for Elliptic Curve Cryptography taken from Fiat" +description: """ +This is an implementation of the ECDH over P-256 key exchange algorithm, using +code from Fiat (). + +Cryptographic primitives should not be used in end applications, they are better +used as part of a cryptographic library. +""" +url { + src: + "https://github.com/mirage/fiat/releases/download/v0.2.0/fiat-p256-v0.2.0.tbz" + checksum: [ + "sha256=b2854ca46b2522248521440dcd5b17accfc8d3bfc754ff0f7e907ba40f513a30" + "sha512=47a1b5583b614069c278e6f6253cb9d873b3f100060708b178cce0d617398ee317cd0aa1c2ac49d748b452f8ab92004256820201729fa391c6c0a33f840d04f5" + ] +} From 3fbc1609c46ca1e47358215812a4b78f259d8e1e Mon Sep 17 00:00:00 2001 From: Etienne Millon Date: Wed, 24 Jul 2019 10:39:49 +0200 Subject: [PATCH 2/3] Update packages/fiat-p256/fiat-p256.0.2.0/opam Co-Authored-By: Kate --- packages/fiat-p256/fiat-p256.0.2.0/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/fiat-p256/fiat-p256.0.2.0/opam b/packages/fiat-p256/fiat-p256.0.2.0/opam index 6e125d9397f6..8e0a3424ef54 100644 --- a/packages/fiat-p256/fiat-p256.0.2.0/opam +++ b/packages/fiat-p256/fiat-p256.0.2.0/opam @@ -24,7 +24,7 @@ depends: [ "benchmark" {with-test} "bigarray-compat" "cstruct" {>= "3.5.0"} - "dune" {build & >= "1.6.0"} + "dune" {>= "1.6.0"} "hex" "ppx_deriving_yojson" {with-test} "rresult" {with-test} From 661f5b3b956a8f41d408882d3df40d9e11d16882 Mon Sep 17 00:00:00 2001 From: Etienne Millon Date: Wed, 24 Jul 2019 10:39:55 +0200 Subject: [PATCH 3/3] Update packages/fiat-p256/fiat-p256.0.2.0/opam Co-Authored-By: Kate --- packages/fiat-p256/fiat-p256.0.2.0/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/fiat-p256/fiat-p256.0.2.0/opam b/packages/fiat-p256/fiat-p256.0.2.0/opam index 8e0a3424ef54..526ccba8fb6c 100644 --- a/packages/fiat-p256/fiat-p256.0.2.0/opam +++ b/packages/fiat-p256/fiat-p256.0.2.0/opam @@ -16,7 +16,7 @@ tags: ["org:mirage"] build: [ ["dune" "subst"] {pinned} ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name] {with-test} + ["dune" "runtest" "-p" name "-j" jobs] {with-test} ] depends: [ "alcotest" {with-test}