this repo has no description
Merge pull request #24947 from xavierleroy/cryptokit-1.19
Cryptokit version 1.19
authored by
Marcello Seri
and committed by
GitHub
619172a4
91c9c132
+39
+39
packages/cryptokit/cryptokit.1.19/opam
+39
packages/cryptokit/cryptokit.1.19/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "A library of cryptographic primitives"
3
+
description:
4
+
"Cryptokit includes authenticated encryption (AES-GCM, Chacha20-Poly1305), block ciphers (AES, DES, 3DES), stream ciphers (Chacha20, ARCfour), public-key cryptography (RSA, DH), hashes (SHA-256, SHA-512, SHA-3, Blake2, Blake3), MACs, compression, random number generation -- all presented with a compositional, extensible interface."
5
+
maintainer: ["Xavier Leroy <xavier.leroy@college-de-france.fr>"]
6
+
authors: ["Xavier Leroy"]
7
+
license: "LGPL-2.0-or-later WITH OCaml-LGPL-linking-exception"
8
+
homepage: "https://github.com/xavierleroy/cryptokit"
9
+
bug-reports: "https://github.com/xavierleroy/cryptokit/issues"
10
+
depends: [
11
+
"ocaml" {>= "4.08.0"}
12
+
"dune" {>= "2.5"}
13
+
"dune-configurator"
14
+
"zarith" {>= "1.4"}
15
+
"conf-zlib"
16
+
"conf-gmp-powm-sec"
17
+
]
18
+
build: [
19
+
["dune" "subst"] {dev}
20
+
[
21
+
"dune"
22
+
"build"
23
+
"-p"
24
+
name
25
+
"-j"
26
+
jobs
27
+
"@install"
28
+
"@runtest" {with-test}
29
+
"@doc" {with-doc}
30
+
]
31
+
]
32
+
dev-repo: "git+https://github.com/xavierleroy/cryptokit.git"
33
+
url {
34
+
src: "https://github.com/xavierleroy/cryptokit/archive/release119.tar.gz"
35
+
checksum: [
36
+
"sha256=a7e203aac7fb86fa26fbcc5e7243c8e0f46f0d084bfaf06767d0b816fc12ccb1"
37
+
"sha512=11c942d561e9808b8811400fa1b4b738ded2e3f7b4e3d886c00b97a6cd7c726ff384962aee821885e06bcf6bbe3a34d3157a4a4c89defb5b474c01165085d08b"
38
+
]
39
+
}