{ "packages": [ { "name": "ocaml-why3-devel", "epoch": null, "version": "1.6.0", "release": "7.fc40", "arch": "x86_64" }, { "name": "why3", "epoch": null, "version": "1.6.0", "release": "7.fc40", "arch": "x86_64" }, { "name": "ocaml-why3", "epoch": null, "version": "1.6.0", "release": "7.fc40", "arch": "x86_64" }, { "name": "ocaml-why3-debuginfo", "epoch": null, "version": "1.6.0", "release": "7.fc40", "arch": "x86_64" }, { "name": "why3-proofgeneral", "epoch": null, "version": "1.6.0", "release": "7.fc40", "arch": "noarch" }, { "name": "why3-debuginfo", "epoch": null, "version": "1.6.0", "release": "7.fc40", "arch": "x86_64" }, { "name": "why3", "epoch": null, "version": "1.6.0", "release": "7.fc40", "arch": "src" }, { "name": "why3-all", "epoch": null, "version": "1.6.0", "release": "7.fc40", "arch": "x86_64" }, { "name": "why3-debugsource", "epoch": null, "version": "1.6.0", "release": "7.fc40", "arch": "x86_64" }, { "name": "why3-examples", "epoch": null, "version": "1.6.0", "release": "7.fc40", "arch": "noarch" }, { "name": "why3-emacs", "epoch": null, "version": "1.6.0", "release": "7.fc40", "arch": "noarch" } ] }