{
    "packages": [
        {
            "name": "z3-debuginfo",
            "epoch": 0,
            "version": "4.11.2",
            "release": "1.fc38",
            "arch": "s390x"
        },
        {
            "name": "python3-z3",
            "epoch": 0,
            "version": "4.11.2",
            "release": "1.fc38",
            "arch": "noarch"
        },
        {
            "name": "z3-doc",
            "epoch": 0,
            "version": "4.11.2",
            "release": "1.fc38",
            "arch": "s390x"
        },
        {
            "name": "java-z3-debuginfo",
            "epoch": 0,
            "version": "4.11.2",
            "release": "1.fc38",
            "arch": "s390x"
        },
        {
            "name": "z3",
            "epoch": 0,
            "version": "4.11.2",
            "release": "1.fc38",
            "arch": "s390x"
        },
        {
            "name": "ocaml-z3-debuginfo",
            "epoch": 0,
            "version": "4.11.2",
            "release": "1.fc38",
            "arch": "s390x"
        },
        {
            "name": "java-z3",
            "epoch": 0,
            "version": "4.11.2",
            "release": "1.fc38",
            "arch": "s390x"
        },
        {
            "name": "z3-debugsource",
            "epoch": 0,
            "version": "4.11.2",
            "release": "1.fc38",
            "arch": "s390x"
        },
        {
            "name": "z3",
            "epoch": 0,
            "version": "4.11.2",
            "release": "1.fc38",
            "arch": "src"
        },
        {
            "name": "z3-libs-debuginfo",
            "epoch": 0,
            "version": "4.11.2",
            "release": "1.fc38",
            "arch": "s390x"
        },
        {
            "name": "z3-devel",
            "epoch": 0,
            "version": "4.11.2",
            "release": "1.fc38",
            "arch": "s390x"
        },
        {
            "name": "z3-libs",
            "epoch": 0,
            "version": "4.11.2",
            "release": "1.fc38",
            "arch": "s390x"
        },
        {
            "name": "ocaml-z3",
            "epoch": 0,
            "version": "4.11.2",
            "release": "1.fc38",
            "arch": "s390x"
        },
        {
            "name": "ocaml-z3-devel",
            "epoch": 0,
            "version": "4.11.2",
            "release": "1.fc38",
            "arch": "s390x"
        }
    ]
}