this repo has no description
Merge pull request #22447 from victor-dumitrescu/opam-publish-hacl-star-hacl-star-raw.0.6.0
2 packages from cryspen/hacl-packages at 0.6.0
+82
+38
packages/hacl-star-raw/hacl-star-raw.0.6.0/opam
+38
packages/hacl-star-raw/hacl-star-raw.0.6.0/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://tech.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
+
available:
22
+
arch != "ppc64" & arch != "ppc32" & arch != "arm32" &
23
+
(os = "freebsd" | os-family != "bsd")
24
+
build: [
25
+
[make "-C" "hacl-star-raw" "build-c"]
26
+
[make "-C" "hacl-star-raw" "build-bindings"]
27
+
]
28
+
install: [make "-C" "hacl-star-raw" "install"]
29
+
dev-repo: "git+https://github.com/cryspen/hacl-packages.git"
30
+
url {
31
+
src:
32
+
"https://github.com/cryspen/hacl-packages/releases/download/ocaml-v0.6.0/hacl-star.0.6.0.tar.gz"
33
+
checksum: [
34
+
"md5=1ab1ada1189c4e61ddda06275cc3093f"
35
+
"sha512=710645d22a22f5d276a26019bda8f137861e3f0dc1f9e170eb9d25c88dc84293af01fd40923181a28a063a9b8d281cb51e28c7016144f7c8bb1d63b18797fbe1"
36
+
]
37
+
}
38
+
x-ci-accept-failures: ["centos-7" "oraclelinux-7"]
+44
packages/hacl-star/hacl-star.0.6.0/opam
+44
packages/hacl-star/hacl-star.0.6.0/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://tech.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://tech.cryspen.com/hacl-packages/"
10
+
doc: "https://tech.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.1.0"}
19
+
"odoc" {with-doc}
20
+
]
21
+
available: os = "freebsd" | os-family != "bsd"
22
+
build: [
23
+
["dune" "subst"] {dev}
24
+
[
25
+
"dune"
26
+
"build"
27
+
"-p"
28
+
name
29
+
"-j"
30
+
jobs
31
+
"@install"
32
+
"@runtest" {with-test}
33
+
"@doc" {with-doc}
34
+
]
35
+
]
36
+
dev-repo: "git+https://github.com/cryspen/hacl-packages.git"
37
+
url {
38
+
src:
39
+
"https://github.com/cryspen/hacl-packages/releases/download/ocaml-v0.6.0/hacl-star.0.6.0.tar.gz"
40
+
checksum: [
41
+
"md5=1ab1ada1189c4e61ddda06275cc3093f"
42
+
"sha512=710645d22a22f5d276a26019bda8f137861e3f0dc1f9e170eb9d25c88dc84293af01fd40923181a28a063a9b8d281cb51e28c7016144f7c8bb1d63b18797fbe1"
43
+
]
44
+
}