{ "packages": [ { "name": "ghc-idris-prof", "epoch": null, "version": "1.3.4", "release": "17.fc42", "arch": "aarch64" }, { "name": "idris", "epoch": null, "version": "1.3.4", "release": "17.fc42", "arch": "aarch64" }, { "name": "ghc-idris", "epoch": null, "version": "1.3.4", "release": "17.fc42", "arch": "aarch64" }, { "name": "idris", "epoch": null, "version": "1.3.4", "release": "17.fc42", "arch": "src" }, { "name": "idris-manual", "epoch": null, "version": "1.3.4", "release": "17.fc42", "arch": "noarch" }, { "name": "idris-common", "epoch": null, "version": "1.3.4", "release": "17.fc42", "arch": "noarch" }, { "name": "idris-static", "epoch": null, "version": "1.3.4", "release": "17.fc42", "arch": "aarch64" }, { "name": "ghc-idris-devel", "epoch": null, "version": "1.3.4", "release": "17.fc42", "arch": "aarch64" }, { "name": "ghc-idris-doc", "epoch": null, "version": "1.3.4", "release": "17.fc42", "arch": "noarch" }, { "name": "idris-docs", "epoch": null, "version": "1.3.4", "release": "17.fc42", "arch": "noarch" } ] }