{
    "packages": [
        {
            "name": "cvc5-java",
            "epoch": 0,
            "version": "1.0.5",
            "release": "3.fc40",
            "arch": "x86_64"
        },
        {
            "name": "python3-cvc5",
            "epoch": 0,
            "version": "1.0.5",
            "release": "3.fc40",
            "arch": "x86_64"
        },
        {
            "name": "cvc5",
            "epoch": 0,
            "version": "1.0.5",
            "release": "3.fc40",
            "arch": "src"
        },
        {
            "name": "python3-cvc5-debuginfo",
            "epoch": 0,
            "version": "1.0.5",
            "release": "3.fc40",
            "arch": "x86_64"
        },
        {
            "name": "cvc5-libs-debuginfo",
            "epoch": 0,
            "version": "1.0.5",
            "release": "3.fc40",
            "arch": "x86_64"
        },
        {
            "name": "cvc5",
            "epoch": 0,
            "version": "1.0.5",
            "release": "3.fc40",
            "arch": "x86_64"
        },
        {
            "name": "cvc5-debugsource",
            "epoch": 0,
            "version": "1.0.5",
            "release": "3.fc40",
            "arch": "x86_64"
        },
        {
            "name": "cvc5-devel",
            "epoch": 0,
            "version": "1.0.5",
            "release": "3.fc40",
            "arch": "x86_64"
        },
        {
            "name": "cvc5-java-debuginfo",
            "epoch": 0,
            "version": "1.0.5",
            "release": "3.fc40",
            "arch": "x86_64"
        },
        {
            "name": "cvc5-libs",
            "epoch": 0,
            "version": "1.0.5",
            "release": "3.fc40",
            "arch": "x86_64"
        },
        {
            "name": "cvc5-debuginfo",
            "epoch": 0,
            "version": "1.0.5",
            "release": "3.fc40",
            "arch": "x86_64"
        }
    ]
}