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"
            ]
        }
    ]
}