[
    {
        "reference": "z3/4.9.1@#ff5ccf9e666d86b243fde0b0dec9de76",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "5",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.9.1@#ff5ccf9e666d86b243fde0b0dec9de76",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "7",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.9.1@#ff5ccf9e666d86b243fde0b0dec9de76",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "5",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.9.1@#ff5ccf9e666d86b243fde0b0dec9de76",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "7",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.9.1@#ff5ccf9e666d86b243fde0b0dec9de76",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "5",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.9.1@#ff5ccf9e666d86b243fde0b0dec9de76",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "7",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.9.1@#ff5ccf9e666d86b243fde0b0dec9de76",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "5",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.9.1@#ff5ccf9e666d86b243fde0b0dec9de76",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "7",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.9.1@#ff5ccf9e666d86b243fde0b0dec9de76",
        "packageID": "629c0ec2863ea546bb9f19189040329bd3d66ff8",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "9",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.9.1@#ff5ccf9e666d86b243fde0b0dec9de76",
        "packageID": "0d6deb32b6ce0ef15e9924c9779004c2fbbdf11a",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "9",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.9.1@#ff5ccf9e666d86b243fde0b0dec9de76",
        "packageID": "d2c40e780b490eecde085339bde148f344b037eb",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "10",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.9.1@#ff5ccf9e666d86b243fde0b0dec9de76",
        "packageID": "976e6c8f8728ef1fe22ebc0935a9e61778ee7bbd",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.9.1@#ff5ccf9e666d86b243fde0b0dec9de76",
        "packageID": "489bc53c74e8bfdaa0b1ff22bec1b16c53bb4872",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "10",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.9.1@#ff5ccf9e666d86b243fde0b0dec9de76",
        "packageID": "d88c26276299c75bb87265d054c218f83371446a",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM",
        "profile": null,
        "build": null,
        "test": null
    }
]