Port Api Instance

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

{
    "name": "ott",
    "portdir": "devel/ott",
    "version": "0.25",
    "license": "BSD",
    "platforms": "darwin",
    "epoch": 0,
    "replaced_by": null,
    "homepage": "http://www.cl.cam.ac.uk/~pes20/ott/",
    "description": "tool for writing definitions of programming languages",
    "long_description": "Ott is a tool for writing definitions of programming languages and calculi. It takes as input a definition of a language syntax and semantics, in a concise and readable ASCII notation that is close to what one would write in informal mathematics. It generates LaTeX to build a typeset version of the definition, and Coq, HOL, and Isabelle versions of the definition.",
    "active": true,
    "categories": [
        "devel"
    ],
    "maintainers": [
        {
            "name": "ggreif",
            "github": "",
            "ports_count": 2
        }
    ],
    "variants": [],
    "dependencies": [
        {
            "type": "build",
            "ports": [
                "clang-9.0"
            ]
        },
        {
            "type": "lib",
            "ports": [
                "ocaml"
            ]
        }
    ],
    "depends_on": []
}