{ "packages": [ { "name": "python-pysmt", "epoch": 0, "version": "0.9.0", "release": "8.fc38", "arch": "src" }, { "name": "python3-pysmt", "epoch": 0, "version": "0.9.0", "release": "8.fc38", "arch": "noarch" } ] }