modules/z3/metadata.json

{
    "homepage": "https://github.com/Z3Prover/z3",
    "maintainers": [
        {
            "email": "matthewtlam@google.com",
            "github": "matthewtlam",
            "github_user_id": 20864829,
            "name": "Matthew Lam"
        },
        {
            "email": "smolkaj@google.com",
            "github": "smolkaj",
            "github_user_id": 6642034,
            "name": "Steffen Smolka"
        },
        {
            "email": "nikhilidiculla@gmail.com",
            "github": "tsnl",
            "github_user_id": 8322838,
            "name": "Nikhil Idiculla"
        },
        {
            "do_not_notify": true,
            "email": "nbjorner@microsoft.com",
            "github": "NikolajBjorner",
            "github_user_id": 3085284,
            "name": "Nikolaj Bjorner"
        }
    ],
    "repository": [
        "github:Z3Prover/z3"
    ],
    "versions": [
        "4.15.2"
    ],
    "yanked_versions": {}
}