{ "packages": [ { "name": "gappalib-coq-debuginfo", "epoch": null, "version": "1.6.0", "release": "3.fc42", "arch": "s390x" }, { "name": "gappalib-coq", "epoch": null, "version": "1.6.0", "release": "3.fc42", "arch": "s390x" }, { "name": "gappalib-coq-source", "epoch": null, "version": "1.6.0", "release": "3.fc42", "arch": "s390x" }, { "name": "gappalib-coq-debugsource", "epoch": null, "version": "1.6.0", "release": "3.fc42", "arch": "s390x" }, { "name": "gappalib-coq", "epoch": null, "version": "1.6.0", "release": "3.fc42", "arch": "src" } ] }