GET /api/v1/ports/ocaml-hacl-star-raw/
HTTP 200 OK
Allow: GET, HEAD, OPTIONS
Content-Type: application/json
Vary: Accept
{
"name": "ocaml-hacl-star-raw",
"portdir": "ocaml/ocaml-hacl-star",
"version": "20210824-4b197eb",
"license": "Apache-2",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/project-everest/hacl-star",
"description": "High-assurance cryptographic library.",
"long_description": "Formally verified library of modern cryptographic algorithms, including Curve25519, Ed25519, AES-GCM, Chacha20, Poly1305, SHA-2, SHA-3, HMAC, and HKDF. The code for all of these algorithms is formally verified using the F* verification framework for memory safety, functional correctness, and secret independence (resistance to some types of timing side-channels).",
"active": true,
"categories": [
"devel",
"security",
"ocaml"
],
"maintainers": [
{
"name": "landonf",
"github": "landonf",
"ports_count": 81
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"clang-17",
"mono",
"python38",
"coreutils",
"gtime",
"gsed",
"gmake"
]
},
{
"type": "lib",
"ports": [
"kremlin",
"ocaml",
"ocaml-ctypes",
"ocaml-findlib",
"fstar"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"ocaml-hacl-star"
]
}
]
}