{
    "packages": [
        {
            "name": "yices-debugsource",
            "epoch": 0,
            "version": "2.6.4",
            "release": "5.fc38",
            "arch": "i686"
        },
        {
            "name": "yices-doc",
            "epoch": 0,
            "version": "2.6.4",
            "release": "5.fc38",
            "arch": "noarch"
        },
        {
            "name": "yices-debuginfo",
            "epoch": 0,
            "version": "2.6.4",
            "release": "5.fc38",
            "arch": "i686"
        },
        {
            "name": "yices-tools-debuginfo",
            "epoch": 0,
            "version": "2.6.4",
            "release": "5.fc38",
            "arch": "i686"
        },
        {
            "name": "yices-devel",
            "epoch": 0,
            "version": "2.6.4",
            "release": "5.fc38",
            "arch": "i686"
        },
        {
            "name": "yices",
            "epoch": 0,
            "version": "2.6.4",
            "release": "5.fc38",
            "arch": "i686"
        },
        {
            "name": "yices",
            "epoch": 0,
            "version": "2.6.4",
            "release": "5.fc38",
            "arch": "src"
        },
        {
            "name": "yices-tools",
            "epoch": 0,
            "version": "2.6.4",
            "release": "5.fc38",
            "arch": "i686"
        }
    ]
}