this repo has no description

Merge pull request #18992 from victor-dumitrescu/add-pkg-hacl-star

hacl-star and hacl-star-raw (0.4.0)

Changed files
+78
packages
hacl-star
hacl-star.0.4.0
hacl-star-raw
hacl-star-raw.0.4.0
+42
packages/hacl-star-raw/hacl-star-raw.0.4.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Auto-generated low-level OCaml bindings for EverCrypt/HACL*"
+
description: """
+
This package contains a snapshot of the EverCrypt crypto provider and
+
the HACL* library, along with automatically generated Ctypes bindings.
+
For a higher-level idiomatic API see the `hacl-star` package, of
+
which `hacl-star-raw` is a dependency.
+
"""
+
maintainer: "Victor Dumitrescu <victor.dumitrescu@nomadic-labs.com>"
+
authors: [ "Project Everest" ]
+
license: "Apache-2.0"
+
homepage: "https://hacl-star.github.io/"
+
bug-reports: "https://github.com/project-everest/hacl-star/issues"
+
depends: [
+
"ocaml" { >= "4.08.0" }
+
"ocamlfind" {build}
+
"ctypes" { >= "0.18.0" }
+
"ctypes-foreign"
+
"conf-which" {build}
+
]
+
available: os-family != "bsd"
+
x-ci-accept-failures: [
+
"centos-7" # Default C compiler is too old
+
"oraclelinux-7" # Default C compiler is too old
+
]
+
build: [
+
["sh" "-exc" "cd raw && ./configure"]
+
[make "-C" "raw"]
+
]
+
install: [
+
make "-C" "raw" "install-hacl-star-raw"
+
]
+
dev-repo: "git+https://github.com/project-everest/hacl-star.git"
+
url {
+
src:
+
"https://github.com/project-everest/hacl-star/releases/download/ocaml-v0.4.0/hacl-star.0.4.0.tar.gz"
+
checksum: [
+
"md5=b3ee6ef6c9ad801bfdebcc22cccb7bfa"
+
"sha256=bbf28ccf3b56ab85cc9b0a5d2f3e4bfbac1427d3e42c0b4b5596d012265eefd7"
+
"sha512=fbb4d29aedaedf6c77af162c59b85f787657138e47e83892115de2ded11f83b0339996d1ccdc823603507363cabc6f37219474f0775c00fbf7e51e77c1752f4e"
+
]
+
}
+36
packages/hacl-star/hacl-star.0.4.0/opam
···
+
opam-version: "2.0"
+
synopsis: "OCaml API for EverCrypt/HACL*"
+
maintainer: "Victor Dumitrescu <victor.dumitrescu@nomadic-labs.com>"
+
authors: [ "Project Everest" ]
+
license: "Apache-2.0"
+
homepage: "https://hacl-star.github.io/"
+
doc: "https://hacl-star.github.io/ocaml_doc"
+
bug-reports: "https://github.com/project-everest/hacl-star/issues"
+
depends: [
+
"ocaml" { >= "4.08.0" }
+
"dune" {>= "1.2"}
+
"hacl-star-raw" {= version}
+
"zarith"
+
"cppo" {build}
+
"odoc" {with-doc}
+
]
+
available: os-family != "bsd"
+
build: [
+
[
+
"dune" "build" "-p" name "-j" jobs
+
"@doc" {with-doc}
+
]
+
]
+
run-test: [
+
["dune" "runtest" "-p" name "-j" jobs] {ocaml:version >= "4.08"}
+
]
+
dev-repo: "git+https://github.com/project-everest/hacl-star.git"
+
url {
+
src:
+
"https://github.com/project-everest/hacl-star/releases/download/ocaml-v0.4.0/hacl-star.0.4.0.tar.gz"
+
checksum: [
+
"md5=b3ee6ef6c9ad801bfdebcc22cccb7bfa"
+
"sha256=bbf28ccf3b56ab85cc9b0a5d2f3e4bfbac1427d3e42c0b4b5596d012265eefd7"
+
"sha512=fbb4d29aedaedf6c77af162c59b85f787657138e47e83892115de2ded11f83b0339996d1ccdc823603507363cabc6f37219474f0775c00fbf7e51e77c1752f4e"
+
]
+
}