{ "packages": [ { "name": "lean4", "epoch": null, "version": "4.14.0", "release": "1.fc39", "arch": "x86_64" }, { "name": "lean4", "epoch": null, "version": "4.14.0", "release": "1.fc39", "arch": "src" } ] }