{
    "packages": [
        {
            "name": "cvc4-java",
            "epoch": 0,
            "version": "1.8",
            "release": "15.fc38",
            "arch": "x86_64"
        },
        {
            "name": "cvc4",
            "epoch": 0,
            "version": "1.8",
            "release": "15.fc38",
            "arch": "x86_64"
        },
        {
            "name": "cvc4-java-debuginfo",
            "epoch": 0,
            "version": "1.8",
            "release": "15.fc38",
            "arch": "x86_64"
        },
        {
            "name": "cvc4-devel",
            "epoch": 0,
            "version": "1.8",
            "release": "15.fc38",
            "arch": "x86_64"
        },
        {
            "name": "cvc4-debugsource",
            "epoch": 0,
            "version": "1.8",
            "release": "15.fc38",
            "arch": "x86_64"
        },
        {
            "name": "cvc4",
            "epoch": 0,
            "version": "1.8",
            "release": "15.fc38",
            "arch": "src"
        },
        {
            "name": "cvc4-debuginfo",
            "epoch": 0,
            "version": "1.8",
            "release": "15.fc38",
            "arch": "x86_64"
        },
        {
            "name": "cvc4-libs",
            "epoch": 0,
            "version": "1.8",
            "release": "15.fc38",
            "arch": "x86_64"
        },
        {
            "name": "cvc4-libs-debuginfo",
            "epoch": 0,
            "version": "1.8",
            "release": "15.fc38",
            "arch": "x86_64"
        },
        {
            "name": "cvc4-python3",
            "epoch": 0,
            "version": "1.8",
            "release": "15.fc38",
            "arch": "x86_64"
        },
        {
            "name": "cvc4-python3-debuginfo",
            "epoch": 0,
            "version": "1.8",
            "release": "15.fc38",
            "arch": "x86_64"
        }
    ]
}