{ "packages": [ { "name": "lean4-rc", "epoch": null, "version": "4.8.0~rc2", "release": "1.fc39", "arch": "aarch64" }, { "name": "lean4-rc-default", "epoch": null, "version": "4.8.0~rc2", "release": "1.fc39", "arch": "aarch64" }, { "name": "lean4-rc", "epoch": null, "version": "4.8.0~rc2", "release": "1.fc39", "arch": "src" } ] }