GET /api/v1/ports/coq/
HTTP 200 OK
Allow: GET, HEAD, OPTIONS
Content-Type: application/json
Vary: Accept

{
    "name": "coq",
    "portdir": "lang/coq",
    "version": "8.13.2",
    "license": "LGPL-2.1",
    "platforms": "darwin",
    "epoch": 0,
    "replaced_by": null,
    "homepage": "https://coq.inria.fr/",
    "description": "Proof assistant for higher-order logic",
    "long_description": "Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using OCaml and Camlp4.",
    "active": true,
    "categories": [
        "lang",
        "math"
    ],
    "maintainers": [
        {
            "name": "pmetzger",
            "github": "pmetzger",
            "ports_count": 22
        }
    ],
    "variants": [
        "doc",
        "coqide"
    ],
    "dependencies": [
        {
            "type": "build",
            "ports": [
                "ocaml-findlib",
                "clang-16"
            ]
        },
        {
            "type": "lib",
            "ports": [
                "ocaml",
                "ocaml-zarith"
            ]
        }
    ],
    "depends_on": []
}