{ "packages": [ { "name": "ghc-idris-devel", "epoch": 0, "version": "1.3.4", "release": "5.fc38", "arch": "s390x" }, { "name": "idris-common", "epoch": 0, "version": "1.3.4", "release": "5.fc38", "arch": "noarch" }, { "name": "idris-static", "epoch": 0, "version": "1.3.4", "release": "5.fc38", "arch": "s390x" }, { "name": "ghc-idris-prof", "epoch": 0, "version": "1.3.4", "release": "5.fc38", "arch": "s390x" }, { "name": "idris-docs", "epoch": 0, "version": "1.3.4", "release": "5.fc38", "arch": "noarch" }, { "name": "idris", "epoch": 0, "version": "1.3.4", "release": "5.fc38", "arch": "src" }, { "name": "ghc-idris", "epoch": 0, "version": "1.3.4", "release": "5.fc38", "arch": "s390x" }, { "name": "idris", "epoch": 0, "version": "1.3.4", "release": "5.fc38", "arch": "s390x" }, { "name": "ghc-idris-doc", "epoch": 0, "version": "1.3.4", "release": "5.fc38", "arch": "noarch" }, { "name": "idris-manual", "epoch": 0, "version": "1.3.4", "release": "5.fc38", "arch": "noarch" } ] }