this repo has no description
2 packages from cryspen/hacl-packages at 0.7.2
+85
+39
packages/hacl-star-raw/hacl-star-raw.0.7.2/opam
+39
packages/hacl-star-raw/hacl-star-raw.0.7.2/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Auto-generated low-level OCaml bindings for EverCrypt/HACL*"
3
+
description: """\
4
+
This package contains a snapshot of the EverCrypt crypto provider and
5
+
the HACL* library, along with automatically generated Ctypes bindings.
6
+
For a higher-level idiomatic API see the `hacl-star` package, of
7
+
which `hacl-star-raw` is a dependency."""
8
+
maintainer: "Victor Dumitrescu <victor.dumitrescu@nomadic-labs.com>"
9
+
authors: "Project Everest"
10
+
license: "Apache-2.0"
11
+
homepage: "https://cryspen.com/hacl-packages/"
12
+
bug-reports: "https://github.com/cryspen/hacl-packages/issues"
13
+
depends: [
14
+
"ocaml" {>= "4.08.0"}
15
+
"dune" {>= "1.2"}
16
+
"ocamlfind" {build}
17
+
"ctypes" {>= "0.18.0"}
18
+
"conf-which" {build}
19
+
"conf-cmake" {build}
20
+
]
21
+
conflicts: ["ocaml-option-bytecode-only"]
22
+
available:
23
+
arch != "ppc64" & arch != "ppc32" & arch != "arm32" & arch != "riscv64" &
24
+
os-family != "windows" &
25
+
os-family != "bsd"
26
+
build: [
27
+
[make "-C" "hacl-star-raw" "build-c"]
28
+
[make "-C" "hacl-star-raw" "build-bindings"]
29
+
]
30
+
install: [make "-C" "hacl-star-raw" "install"]
31
+
dev-repo: "git+https://github.com/cryspen/hacl-packages.git"
32
+
url {
33
+
src:
34
+
"https://github.com/cryspen/hacl-packages/releases/download/ocaml-v0.7.2/hacl-star.0.7.2.tar.gz"
35
+
checksum: [
36
+
"md5=8c2afd2d2fb163ec6c885243f757c70c"
37
+
"sha512=3195917cbafe1849281b776c1f9e52c229d9041922ac3dbcc6557241b9c9156bb405dcd9fbe41edbfe224bc7e5dd269f3fe2a7bef6d566daa5fd2662963296c0"
38
+
]
39
+
}
+46
packages/hacl-star/hacl-star.0.7.2/opam
+46
packages/hacl-star/hacl-star.0.7.2/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "OCaml API for EverCrypt/HACL*"
3
+
description: """\
4
+
Documentation for this library can be found
5
+
[here](https://cryspen.com/hacl-packages/ocaml/main/index.html)."""
6
+
maintainer: "Victor Dumitrescu <victor.dumitrescu@nomadic-labs.com>"
7
+
authors: "Project Everest"
8
+
license: "Apache-2.0"
9
+
homepage: "https://cryspen.com/hacl-packages/"
10
+
doc: "https://cryspen.com/hacl-packages/ocaml/main/index.html"
11
+
bug-reports: "https://github.com/cryspen/hacl-packages/issues"
12
+
depends: [
13
+
"ocaml" {>= "4.08.0"}
14
+
"dune" {>= "1.2"}
15
+
"hacl-star-raw" {= version}
16
+
"zarith"
17
+
"cppo" {build}
18
+
"alcotest" {with-test & >= "1.8.0"}
19
+
"qcheck-core" {with-test & >= "0.20"}
20
+
"secp256k1-internal" {with-test}
21
+
"cstruct" {with-test}
22
+
"odoc" {with-doc}
23
+
]
24
+
build: [
25
+
["dune" "subst"] {dev}
26
+
[
27
+
"dune"
28
+
"build"
29
+
"-p"
30
+
name
31
+
"-j"
32
+
jobs
33
+
"@install"
34
+
"@runtest" {with-test}
35
+
"@doc" {with-doc}
36
+
]
37
+
]
38
+
dev-repo: "git+https://github.com/cryspen/hacl-packages.git"
39
+
url {
40
+
src:
41
+
"https://github.com/cryspen/hacl-packages/releases/download/ocaml-v0.7.2/hacl-star.0.7.2.tar.gz"
42
+
checksum: [
43
+
"md5=8c2afd2d2fb163ec6c885243f757c70c"
44
+
"sha512=3195917cbafe1849281b776c1f9e52c229d9041922ac3dbcc6557241b9c9156bb405dcd9fbe41edbfe224bc7e5dd269f3fe2a7bef6d566daa5fd2662963296c0"
45
+
]
46
+
}