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

{
    "name": "z3-fstar",
    "portdir": "math/z3",
    "version": "4.8.5",
    "license": "MIT",
    "platforms": "darwin freebsd",
    "epoch": 0,
    "replaced_by": null,
    "homepage": "https://github.com/Z3Prover/z3",
    "description": "F*-qualified release of the Z3 Theorem Prover",
    "long_description": "Private version of the Z3 theorem prover for use by (and qualified to work with) F*.",
    "active": true,
    "categories": [
        "science",
        "math"
    ],
    "maintainers": [
        {
            "name": "landonf",
            "github": "landonf",
            "ports_count": 80
        }
    ],
    "variants": [
        "debug",
        "lto",
        "gmp",
        "native",
        "profile",
        "polly",
        "polly_late",
        "polly_two_level_tiling",
        "polly_vector",
        "polly_parallel",
        "pgo",
        "universal"
    ],
    "dependencies": [
        {
            "type": "build",
            "ports": [
                "cmake",
                "ninja",
                "bash",
                "clang-16",
                "python312"
            ]
        },
        {
            "type": "extract",
            "ports": [
                "xz"
            ]
        }
    ],
    "depends_on": [
        {
            "type": "lib",
            "ports": [
                "fstar"
            ]
        }
    ]
}