{ "packages": [ { "name": "cvc5-libs-debuginfo", "epoch": null, "version": "1.2.0", "release": "1.fc42", "arch": "x86_64" }, { "name": "python3-cvc5", "epoch": null, "version": "1.2.0", "release": "1.fc42", "arch": "x86_64" }, { "name": "cvc5-debugsource", "epoch": null, "version": "1.2.0", "release": "1.fc42", "arch": "x86_64" }, { "name": "cvc5", "epoch": null, "version": "1.2.0", "release": "1.fc42", "arch": "src" }, { "name": "cvc5-java-debuginfo", "epoch": null, "version": "1.2.0", "release": "1.fc42", "arch": "x86_64" }, { "name": "cvc5", "epoch": null, "version": "1.2.0", "release": "1.fc42", "arch": "x86_64" }, { "name": "python3-cvc5-debuginfo", "epoch": null, "version": "1.2.0", "release": "1.fc42", "arch": "x86_64" }, { "name": "cvc5-devel", "epoch": null, "version": "1.2.0", "release": "1.fc42", "arch": "x86_64" }, { "name": "cvc5-debuginfo", "epoch": null, "version": "1.2.0", "release": "1.fc42", "arch": "x86_64" }, { "name": "cvc5-java", "epoch": null, "version": "1.2.0", "release": "1.fc42", "arch": "x86_64" }, { "name": "cvc5-libs", "epoch": null, "version": "1.2.0", "release": "1.fc42", "arch": "x86_64" } ] }