{ "packages": [ { "name": "ocaml-z3-debuginfo", "epoch": 0, "version": "4.8.14", "release": "4.fc36", "arch": "x86_64" }, { "name": "ocaml-z3", "epoch": 0, "version": "4.8.14", "release": "4.fc36", "arch": "x86_64" }, { "name": "z3-devel", "epoch": 0, "version": "4.8.14", "release": "4.fc36", "arch": "x86_64" }, { "name": "z3-debugsource", "epoch": 0, "version": "4.8.14", "release": "4.fc36", "arch": "x86_64" }, { "name": "python3-z3", "epoch": 0, "version": "4.8.14", "release": "4.fc36", "arch": "noarch" }, { "name": "z3-doc", "epoch": 0, "version": "4.8.14", "release": "4.fc36", "arch": "x86_64" }, { "name": "java-z3-debuginfo", "epoch": 0, "version": "4.8.14", "release": "4.fc36", "arch": "x86_64" }, { "name": "z3", "epoch": 0, "version": "4.8.14", "release": "4.fc36", "arch": "src" }, { "name": "z3-libs", "epoch": 0, "version": "4.8.14", "release": "4.fc36", "arch": "x86_64" }, { "name": "ocaml-z3-devel", "epoch": 0, "version": "4.8.14", "release": "4.fc36", "arch": "x86_64" }, { "name": "java-z3", "epoch": 0, "version": "4.8.14", "release": "4.fc36", "arch": "x86_64" }, { "name": "z3-debuginfo", "epoch": 0, "version": "4.8.14", "release": "4.fc36", "arch": "x86_64" }, { "name": "z3", "epoch": 0, "version": "4.8.14", "release": "4.fc36", "arch": "x86_64" }, { "name": "z3-libs-debuginfo", "epoch": 0, "version": "4.8.14", "release": "4.fc36", "arch": "x86_64" } ] }