{ "packages": [ { "name": "idris2-docs", "epoch": null, "version": "0.7.0", "release": "1.el9", "arch": "x86_64" }, { "name": "idris2-lib", "epoch": null, "version": "0.7.0", "release": "1.el9", "arch": "x86_64" }, { "name": "idris2", "epoch": null, "version": "0.7.0", "release": "1.el9", "arch": "src" }, { "name": "idris2", "epoch": null, "version": "0.7.0", "release": "1.el9", "arch": "x86_64" } ] }