{ "packages": [ { "name": "ocaml-psmt2-frontend", "epoch": null, "version": "0.4.0", "release": "20.fc42", "arch": "src" }, { "name": "ocaml-psmt2-frontend-devel", "epoch": null, "version": "0.4.0", "release": "20.fc42", "arch": "x86_64" }, { "name": "ocaml-psmt2-frontend", "epoch": null, "version": "0.4.0", "release": "20.fc42", "arch": "x86_64" }, { "name": "ocaml-psmt2-frontend-docs", "epoch": null, "version": "0.4.0", "release": "20.fc42", "arch": "x86_64" }, { "name": "ocaml-psmt2-frontend-debuginfo", "epoch": null, "version": "0.4.0", "release": "20.fc42", "arch": "x86_64" }, { "name": "ocaml-psmt2-frontend-debugsource", "epoch": null, "version": "0.4.0", "release": "20.fc42", "arch": "x86_64" } ] }