[
    {
        "reference": "z3/4.11.2",
        "packageID": "a308a5bde2ee883a69b8a10198894db9224130c4",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "13.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "0e6a7e27051478a76ce56ea68cf4d1777270f9da",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "13.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "586ac4afd03199d1973074067644b8556e7275cc",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "13.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "UNKNOWN",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "20a734ff60b734e5249dbf3c9542b0e5c884b536",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "13.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "UNKNOWN",
        "profile": null,
        "build": null,
        "test": null
    }
]