{ "packages": [ { "name": "Agda-common", "epoch": null, "version": "2.6.4.3", "release": "50.fc42", "arch": "noarch" }, { "name": "Agda", "epoch": null, "version": "2.6.4.3", "release": "50.fc42", "arch": "src" }, { "name": "ghc-peano", "epoch": null, "version": "0.1.0.2", "release": "50.fc42", "arch": "s390x" }, { "name": "ghc-Agda-prof", "epoch": null, "version": "2.6.4.3", "release": "50.fc42", "arch": "s390x" }, { "name": "ghc-Agda-doc", "epoch": null, "version": "2.6.4.3", "release": "50.fc42", "arch": "noarch" }, { "name": "ghc-murmur-hash-doc", "epoch": null, "version": "0.1.0.10", "release": "50.fc42", "arch": "noarch" }, { "name": "ghc-vector-hashtables", "epoch": null, "version": "0.1.2.0", "release": "50.fc42", "arch": "s390x" }, { "name": "ghc-Agda-devel", "epoch": null, "version": "2.6.4.3", "release": "50.fc42", "arch": "s390x" }, { "name": "ghc-peano-devel", "epoch": null, "version": "0.1.0.2", "release": "50.fc42", "arch": "s390x" }, { "name": "ghc-murmur-hash-devel", "epoch": null, "version": "0.1.0.10", "release": "50.fc42", "arch": "s390x" }, { "name": "ghc-murmur-hash", "epoch": null, "version": "0.1.0.10", "release": "50.fc42", "arch": "s390x" }, { "name": "ghc-vector-hashtables-doc", "epoch": null, "version": "0.1.2.0", "release": "50.fc42", "arch": "noarch" }, { "name": "ghc-murmur-hash-prof", "epoch": null, "version": "0.1.0.10", "release": "50.fc42", "arch": "s390x" }, { "name": "ghc-vector-hashtables-prof", "epoch": null, "version": "0.1.2.0", "release": "50.fc42", "arch": "s390x" }, { "name": "ghc-vector-hashtables-devel", "epoch": null, "version": "0.1.2.0", "release": "50.fc42", "arch": "s390x" }, { "name": "ghc-peano-prof", "epoch": null, "version": "0.1.0.2", "release": "50.fc42", "arch": "s390x" }, { "name": "ghc-Agda", "epoch": null, "version": "2.6.4.3", "release": "50.fc42", "arch": "s390x" }, { "name": "Agda", "epoch": null, "version": "2.6.4.3", "release": "50.fc42", "arch": "s390x" }, { "name": "ghc-peano-doc", "epoch": null, "version": "0.1.0.2", "release": "50.fc42", "arch": "noarch" } ] }