{
    "packages": [
        {
            "name": "python-certora-cli-alpha-master",
            "epoch": null,
            "version": "20251117.8.19.199140",
            "release": "1.el9",
            "arch": "src"
        },
        {
            "name": "python3-certora-cli-alpha-master",
            "epoch": null,
            "version": "20251117.8.19.199140",
            "release": "1.el9",
            "arch": "noarch"
        }
    ]
}