{ "packages": [ { "name": "yices-debuginfo", "epoch": 0, "version": "2.6.4", "release": "5.fc38", "arch": "x86_64" }, { "name": "yices", "epoch": 0, "version": "2.6.4", "release": "5.fc38", "arch": "x86_64" }, { "name": "yices-tools-debuginfo", "epoch": 0, "version": "2.6.4", "release": "5.fc38", "arch": "x86_64" }, { "name": "yices-devel", "epoch": 0, "version": "2.6.4", "release": "5.fc38", "arch": "x86_64" }, { "name": "yices", "epoch": 0, "version": "2.6.4", "release": "5.fc38", "arch": "src" }, { "name": "yices-doc", "epoch": 0, "version": "2.6.4", "release": "5.fc38", "arch": "noarch" }, { "name": "yices-tools", "epoch": 0, "version": "2.6.4", "release": "5.fc38", "arch": "x86_64" }, { "name": "yices-debugsource", "epoch": 0, "version": "2.6.4", "release": "5.fc38", "arch": "x86_64" } ] }