{ "packages": [ { "name": "cvc4-libs", "epoch": 0, "version": "1.8", "release": "14.fc38", "arch": "x86_64" }, { "name": "cvc4-debugsource", "epoch": 0, "version": "1.8", "release": "14.fc38", "arch": "x86_64" }, { "name": "cvc4", "epoch": 0, "version": "1.8", "release": "14.fc38", "arch": "src" }, { "name": "cvc4-java", "epoch": 0, "version": "1.8", "release": "14.fc38", "arch": "x86_64" }, { "name": "cvc4-libs-debuginfo", "epoch": 0, "version": "1.8", "release": "14.fc38", "arch": "x86_64" }, { "name": "cvc4-devel", "epoch": 0, "version": "1.8", "release": "14.fc38", "arch": "x86_64" }, { "name": "cvc4-debuginfo", "epoch": 0, "version": "1.8", "release": "14.fc38", "arch": "x86_64" }, { "name": "cvc4-python3", "epoch": 0, "version": "1.8", "release": "14.fc38", "arch": "x86_64" }, { "name": "cvc4-python3-debuginfo", "epoch": 0, "version": "1.8", "release": "14.fc38", "arch": "x86_64" }, { "name": "cvc4", "epoch": 0, "version": "1.8", "release": "14.fc38", "arch": "x86_64" }, { "name": "cvc4-java-debuginfo", "epoch": 0, "version": "1.8", "release": "14.fc38", "arch": "x86_64" } ] }