{ "packages": [ { "name": "lean4", "epoch": null, "version": "4.13.0", "release": "4.fc40", "arch": "src" }, { "name": "lean4", "epoch": null, "version": "4.13.0", "release": "4.fc40", "arch": "aarch64" } ] }