{ "name": "python-certora-cli-alpha-master", "epoch": null, "version": "20250701.9.35.350020", "release": "1", "exclusivearch": [], "excludearch": [] }