Skip to content

Commit

Permalink
[new release] mirage-crypto (9 packages) (1.1.0)
Browse files Browse the repository at this point in the history
CHANGES:

* FEATURE mirage-crypto-ec: provide Dh.secret_to_octets (requested in mirage/mirage-crypto#243 by
  @palainp, implemented by @hannesm mirage/mirage-crypto#244)
* mirage-crypto: fix CCM implementation, discovered while porting TLS to
  mirage-crypto 1.0.0 (@hannesm @dinosaure @reynir mirage/mirage-crypto#242)
  • Loading branch information
hannesm authored and avsm committed Sep 5, 2024
1 parent b593899 commit 7370d6b
Show file tree
Hide file tree
Showing 9 changed files with 373 additions and 0 deletions.
61 changes: 61 additions & 0 deletions packages/mirage-crypto-ec/mirage-crypto-ec.1.1.0/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,61 @@
opam-version: "2.0"
synopsis: "Elliptic Curve Cryptography with primitives taken from Fiat"
description: """
An implementation of key exchange (ECDH) and digital signature (ECDSA/EdDSA)
algorithms using code from Fiat (<https://github.com/mit-plv/fiat-crypto>).

The curves P256 (SECP256R1), P384 (SECP384R1),
P521 (SECP521R1), and 25519 (X25519, Ed25519) are implemented by this package.
"""
maintainer: "Hannes Mehnert <[email protected]>"
authors: [
"Hannes Mehnert <[email protected]>"
"Nathan Rebours <[email protected]>"
"Clément Pascutto <[email protected]>"
"Etienne Millon <[email protected]>"
"Virgile Robles <[email protected]>"
# and from the fiat-crypto AUTHORS file
"Andres Erbsen <[email protected]>"
"Google Inc."
"Jade Philipoom <[email protected]> <[email protected]>"
"Massachusetts Institute of Technology"
"Zoe Paraskevopoulou <[email protected]>"
]
license: "MIT"
homepage: "https://github.com/mirage/mirage-crypto"
doc: "https://mirage.github.io/mirage-crypto/doc"
bug-reports: "https://github.com/mirage/mirage-crypto/issues"
depends: [
"dune" {>= "2.7"}
"ocaml" {>= "4.13.0"}
"dune-configurator"
"eqaf" {>= "0.7"}
"mirage-crypto-rng" {=version}
"digestif" {>= "1.2.0"}
"alcotest" {with-test & >= "0.8.1"}
"ppx_deriving_yojson" {with-test}
"ppx_deriving" {with-test}
"yojson" {with-test & >= "1.6.0"}
"asn1-combinators" {with-test & >= "0.3.1"}
"ohex" {with-test & >= "0.2.0"}
"ounit2" {with-test}
]
conflicts: [
"ocaml-freestanding"
]
build: [
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
dev-repo: "git+https://github.com/mirage/mirage-crypto.git"
tags: ["org:mirage"]
url {
src:
"https://github.com/mirage/mirage-crypto/releases/download/v1.1.0/mirage-crypto-1.1.0.tbz"
checksum: [
"sha256=c7189767a7ead54923cab020f39cd0c34af7d4b048776939d94f028abf536353"
"sha512=312f0ea8433bb35224f4ae6e00ff2d5e6ca72f8e5b6d9e24cf609f004629ac55708fe6987edcc6bdd58e67f0044e053d08ccd783abc7f791fe27e77f6eb1ec62"
]
}
x-commit-hash: "cc388cdb0ac068cde73d660d8600c3223feadf96"
42 changes: 42 additions & 0 deletions packages/mirage-crypto-pk/mirage-crypto-pk.1.1.0/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,42 @@
opam-version: "2.0"
homepage: "https://github.com/mirage/mirage-crypto"
dev-repo: "git+https://github.com/mirage/mirage-crypto.git"
bug-reports: "https://github.com/mirage/mirage-crypto/issues"
doc: "https://mirage.github.io/mirage-crypto/doc"
authors: ["David Kaloper <[email protected]>" "Hannes Mehnert <[email protected]>" ]
maintainer: "Hannes Mehnert <[email protected]>"
license: "ISC"
synopsis: "Simple public-key cryptography for the modern age"

build: [ ["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs ]
["dune" "runtest" "-p" name "-j" jobs] {with-test} ]

depends: [
"conf-gmp-powm-sec" {build}
"ocaml" {>= "4.13.0"}
"dune" {>= "2.7"}
"ounit2" {with-test}
"randomconv" {with-test & >= "0.2.0"}
"ohex" {with-test & >= "0.2.0"}
"mirage-crypto" {=version}
"mirage-crypto-rng" {=version}
"digestif" {>= "1.2.0"}
"zarith" {>= "1.13"}
"eqaf" {>= "0.8"}
]
conflicts: [
"ocaml-freestanding"
]
description: """
Mirage-crypto-pk provides public-key cryptography (RSA, DSA, DH).
"""
url {
src:
"https://github.com/mirage/mirage-crypto/releases/download/v1.1.0/mirage-crypto-1.1.0.tbz"
checksum: [
"sha256=c7189767a7ead54923cab020f39cd0c34af7d4b048776939d94f028abf536353"
"sha512=312f0ea8433bb35224f4ae6e00ff2d5e6ca72f8e5b6d9e24cf609f004629ac55708fe6987edcc6bdd58e67f0044e053d08ccd783abc7f791fe27e77f6eb1ec62"
]
}
x-commit-hash: "cc388cdb0ac068cde73d660d8600c3223feadf96"
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
opam-version: "2.0"
homepage: "https://github.com/mirage/mirage-crypto"
dev-repo: "git+https://github.com/mirage/mirage-crypto.git"
bug-reports: "https://github.com/mirage/mirage-crypto/issues"
doc: "https://mirage.github.io/mirage-crypto/doc"
authors: ["David Kaloper <[email protected]>" "Hannes Mehnert <[email protected]>" ]
maintainer: "Hannes Mehnert <[email protected]>"
license: "ISC"
synopsis: "Feed the entropy source in an Async-friendly way"

build: [ ["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs ]
["dune" "runtest" "-p" name "-j" jobs] {with-test} ]

depends: [
"ocaml" {>= "4.13.0"}
"dune" {>= "2.7"}
"dune-configurator" {>= "2.0.0"}
"async" {>= "v0.14"}
"logs"
"mirage-crypto-rng" {=version}
"ohex" {with-test & >= "0.2.0"}
]
available: os != "win32"
description: """

Mirage-crypto-rng-async feeds the entropy source for Mirage_crypto_rng-based
random number generator implementations, in an Async-friendly way.
"""
url {
src:
"https://github.com/mirage/mirage-crypto/releases/download/v1.1.0/mirage-crypto-1.1.0.tbz"
checksum: [
"sha256=c7189767a7ead54923cab020f39cd0c34af7d4b048776939d94f028abf536353"
"sha512=312f0ea8433bb35224f4ae6e00ff2d5e6ca72f8e5b6d9e24cf609f004629ac55708fe6987edcc6bdd58e67f0044e053d08ccd783abc7f791fe27e77f6eb1ec62"
]
}
x-commit-hash: "cc388cdb0ac068cde73d660d8600c3223feadf96"

38 changes: 38 additions & 0 deletions packages/mirage-crypto-rng-eio/mirage-crypto-rng-eio.1.1.0/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,38 @@
opam-version: "2.0"
homepage: "https://github.com/mirage/mirage-crypto"
dev-repo: "git+https://github.com/mirage/mirage-crypto.git"
bug-reports: "https://github.com/mirage/mirage-crypto/issues"
doc: "https://mirage.github.io/mirage-crypto/doc"
authors: ["Bikal Gurung <[email protected]>" ]
maintainer: "Bikal Gurung <[email protected]>"
license: "ISC"
synopsis: "Feed the entropy source in an eio-friendly way"

build: [ ["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs ]
["dune" "runtest" "-p" name "-j" jobs] {with-test} ]

depends: [
"ocaml" {>= "5.0.0"}
"dune" {>= "2.7"}
"eio" {>= "0.12"}
"logs"
"mirage-crypto-rng" {=version}
"duration"
"mtime"
"eio_main" {with-test}
"ohex" {with-test & >= "0.2.0"}
]
description: """
Mirage-crypto-rng-eio feeds the entropy source for Mirage_crypto_rng-based
random number generator implementations, in an eio-friendly way.
"""
url {
src:
"https://github.com/mirage/mirage-crypto/releases/download/v1.1.0/mirage-crypto-1.1.0.tbz"
checksum: [
"sha256=c7189767a7ead54923cab020f39cd0c34af7d4b048776939d94f028abf536353"
"sha512=312f0ea8433bb35224f4ae6e00ff2d5e6ca72f8e5b6d9e24cf609f004629ac55708fe6987edcc6bdd58e67f0044e053d08ccd783abc7f791fe27e77f6eb1ec62"
]
}
x-commit-hash: "cc388cdb0ac068cde73d660d8600c3223feadf96"
35 changes: 35 additions & 0 deletions packages/mirage-crypto-rng-lwt/mirage-crypto-rng-lwt.1.1.0/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
opam-version: "2.0"
homepage: "https://github.com/mirage/mirage-crypto"
dev-repo: "git+https://github.com/mirage/mirage-crypto.git"
bug-reports: "https://github.com/mirage/mirage-crypto/issues"
doc: "https://mirage.github.io/mirage-crypto/doc"
authors: ["David Kaloper <[email protected]>" "Hannes Mehnert <[email protected]>" ]
maintainer: "Hannes Mehnert <[email protected]>"
license: "ISC"
synopsis: "A cryptographically secure PRNG"

build: [ ["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs ]
["dune" "runtest" "-p" name "-j" jobs] {with-test} ]

depends: [
"ocaml" {>= "4.13.0"}
"dune" {>= "2.7"}
"duration"
"logs"
"mirage-crypto-rng" {=version}
"mtime" {>= "1.0.0"}
"lwt" {>= "4.0.0"}
]
description: """
Mirage-crypto-rng-lwt provides entropy collection code for the RNG using Lwt.
"""
url {
src:
"https://github.com/mirage/mirage-crypto/releases/download/v1.1.0/mirage-crypto-1.1.0.tbz"
checksum: [
"sha256=c7189767a7ead54923cab020f39cd0c34af7d4b048776939d94f028abf536353"
"sha512=312f0ea8433bb35224f4ae6e00ff2d5e6ca72f8e5b6d9e24cf609f004629ac55708fe6987edcc6bdd58e67f0044e053d08ccd783abc7f791fe27e77f6eb1ec62"
]
}
x-commit-hash: "cc388cdb0ac068cde73d660d8600c3223feadf96"
Original file line number Diff line number Diff line change
@@ -0,0 +1,38 @@
opam-version: "2.0"
homepage: "https://github.com/mirage/mirage-crypto"
dev-repo: "git+https://github.com/mirage/mirage-crypto.git"
bug-reports: "https://github.com/mirage/mirage-crypto/issues"
doc: "https://mirage.github.io/mirage-crypto/doc"
authors: ["Romain Calascibetta <[email protected]>" ]
maintainer: "Romain Calascibetta <[email protected]>"
license: "ISC"
synopsis: "Feed the entropy source in an miou.unix-friendly way"

build: [ ["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs ]
["dune" "runtest" "-p" name "-j" jobs] {with-test} ]

depends: [
"ocaml" {>= "5.0.0"}
"dune" {>= "2.7"}
"miou" {>= "0.2.0"}
"logs"
"mirage-crypto-rng" {=version}
"duration"
"mtime" {>= "1.0.0"}
"digestif" {>= "1.2.0"}
"ohex" {with-test & >= "0.2.0"}
]
description: """
Mirage-crypto-rng-miou-unix feeds the entropy source for Mirage_crypto_rng-based
random number generator implementations, in an miou.unix-friendly way.
"""
url {
src:
"https://github.com/mirage/mirage-crypto/releases/download/v1.1.0/mirage-crypto-1.1.0.tbz"
checksum: [
"sha256=c7189767a7ead54923cab020f39cd0c34af7d4b048776939d94f028abf536353"
"sha512=312f0ea8433bb35224f4ae6e00ff2d5e6ca72f8e5b6d9e24cf609f004629ac55708fe6987edcc6bdd58e67f0044e053d08ccd783abc7f791fe27e77f6eb1ec62"
]
}
x-commit-hash: "cc388cdb0ac068cde73d660d8600c3223feadf96"
Original file line number Diff line number Diff line change
@@ -0,0 +1,41 @@
opam-version: "2.0"
homepage: "https://github.com/mirage/mirage-crypto"
dev-repo: "git+https://github.com/mirage/mirage-crypto.git"
bug-reports: "https://github.com/mirage/mirage-crypto/issues"
doc: "https://mirage.github.io/mirage-crypto/doc"
authors: ["David Kaloper <[email protected]>" "Hannes Mehnert <[email protected]>" ]
maintainer: "Hannes Mehnert <[email protected]>"
license: "BSD-2-Clause"
synopsis: "Entropy collection for a cryptographically secure PRNG"

build: [ ["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs ]
["dune" "runtest" "-p" name "-j" jobs] {with-test} ]

depends: [
"ocaml" {>= "4.13.0"}
"dune" {>= "2.7"}
"mirage-crypto-rng" {=version}
"duration"
"logs"
"lwt" {>= "4.0.0"}
"mirage-runtime" {>= "3.8.0"}
"mirage-time" {>= "2.0.0"}
"mirage-clock" {>= "3.0.0"}
"mirage-unix" {with-test & >= "5.0.0"}
"mirage-time-unix" {with-test & >= "2.0.0"}
"mirage-clock-unix" {with-test & >= "3.0.0"}
"ohex" {with-test & >= "0.2.0"}
]
description: """
Mirage-crypto-rng-mirage provides entropy collection code for the RNG.
"""
url {
src:
"https://github.com/mirage/mirage-crypto/releases/download/v1.1.0/mirage-crypto-1.1.0.tbz"
checksum: [
"sha256=c7189767a7ead54923cab020f39cd0c34af7d4b048776939d94f028abf536353"
"sha512=312f0ea8433bb35224f4ae6e00ff2d5e6ca72f8e5b6d9e24cf609f004629ac55708fe6987edcc6bdd58e67f0044e053d08ccd783abc7f791fe27e77f6eb1ec62"
]
}
x-commit-hash: "cc388cdb0ac068cde73d660d8600c3223feadf96"
41 changes: 41 additions & 0 deletions packages/mirage-crypto-rng/mirage-crypto-rng.1.1.0/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,41 @@
opam-version: "2.0"
homepage: "https://github.com/mirage/mirage-crypto"
dev-repo: "git+https://github.com/mirage/mirage-crypto.git"
bug-reports: "https://github.com/mirage/mirage-crypto/issues"
doc: "https://mirage.github.io/mirage-crypto/doc"
authors: ["David Kaloper <[email protected]>" "Hannes Mehnert <[email protected]>" ]
maintainer: "Hannes Mehnert <[email protected]>"
license: "ISC"
synopsis: "A cryptographically secure PRNG"

build: [ ["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs ]
["dune" "runtest" "-p" name "-j" jobs] {with-test} ]

depends: [
"ocaml" {>= "4.13.0"}
"dune" {>= "2.7"}
"dune-configurator" {>= "2.0.0"}
"duration"
"logs"
"mirage-crypto" {=version}
"digestif" {>= "1.1.4"}
"ounit2" {with-test}
"randomconv" {with-test & >= "0.2.0"}
"ohex" {with-test & >= "0.2.0"}
]
conflicts: [ "mirage-runtime" {< "3.8.0"} ]
description: """
Mirage-crypto-rng provides a random number generator interface, and
implementations: Fortuna, HMAC-DRBG, getrandom/getentropy based (in the unix
sublibrary)
"""
url {
src:
"https://github.com/mirage/mirage-crypto/releases/download/v1.1.0/mirage-crypto-1.1.0.tbz"
checksum: [
"sha256=c7189767a7ead54923cab020f39cd0c34af7d4b048776939d94f028abf536353"
"sha512=312f0ea8433bb35224f4ae6e00ff2d5e6ca72f8e5b6d9e24cf609f004629ac55708fe6987edcc6bdd58e67f0044e053d08ccd783abc7f791fe27e77f6eb1ec62"
]
}
x-commit-hash: "cc388cdb0ac068cde73d660d8600c3223feadf96"
38 changes: 38 additions & 0 deletions packages/mirage-crypto/mirage-crypto.1.1.0/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,38 @@
opam-version: "2.0"
homepage: "https://github.com/mirage/mirage-crypto"
dev-repo: "git+https://github.com/mirage/mirage-crypto.git"
bug-reports: "https://github.com/mirage/mirage-crypto/issues"
doc: "https://mirage.github.io/mirage-crypto/doc"
authors: ["David Kaloper <[email protected]>" "Hannes Mehnert <[email protected]>" ]
maintainer: "Hannes Mehnert <[email protected]>"
license: "ISC"
synopsis: "Simple symmetric cryptography for the modern age"

build: [ ["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs ]
["dune" "runtest" "-p" name "-j" jobs] {with-test} ]

depends: [
"ocaml" {>= "4.13.0"}
"dune" {>= "2.7"}
"dune-configurator" {>= "2.0.0"}
"ounit2" {with-test}
"ohex" {with-test & >= "0.2.0"}
"eqaf" {>= "0.8"}
]
conflicts: [
"ocaml-freestanding"
"result" {< "1.5"}
]
description: """
Mirage-crypto provides symmetric ciphers (DES, AES, RC4, ChaCha20/Poly1305).
"""
url {
src:
"https://github.com/mirage/mirage-crypto/releases/download/v1.1.0/mirage-crypto-1.1.0.tbz"
checksum: [
"sha256=c7189767a7ead54923cab020f39cd0c34af7d4b048776939d94f028abf536353"
"sha512=312f0ea8433bb35224f4ae6e00ff2d5e6ca72f8e5b6d9e24cf609f004629ac55708fe6987edcc6bdd58e67f0044e053d08ccd783abc7f791fe27e77f6eb1ec62"
]
}
x-commit-hash: "cc388cdb0ac068cde73d660d8600c3223feadf96"

0 comments on commit 7370d6b

Please sign in to comment.