{
    "packages": [
        {
            "name": "rocq-runtime-devel",
            "epoch": null,
            "version": "9.1.0",
            "release": "1.fc42",
            "arch": "x86_64"
        },
        {
            "name": "rocq-coqide-server-devel",
            "epoch": null,
            "version": "9.1.0",
            "release": "1.fc42",
            "arch": "x86_64"
        },
        {
            "name": "rocq-coqide-server",
            "epoch": null,
            "version": "9.1.0",
            "release": "1.fc42",
            "arch": "x86_64"
        },
        {
            "name": "rocq-doc",
            "epoch": null,
            "version": "9.1.0",
            "release": "1.fc42",
            "arch": "noarch"
        },
        {
            "name": "rocq",
            "epoch": null,
            "version": "9.1.0",
            "release": "1.fc42",
            "arch": "x86_64"
        },
        {
            "name": "coq-core-compat-debuginfo",
            "epoch": null,
            "version": "9.1.0",
            "release": "1.fc42",
            "arch": "x86_64"
        },
        {
            "name": "rocq",
            "epoch": null,
            "version": "9.1.0",
            "release": "1.fc42",
            "arch": "src"
        },
        {
            "name": "rocq-debuginfo",
            "epoch": null,
            "version": "9.1.0",
            "release": "1.fc42",
            "arch": "x86_64"
        },
        {
            "name": "rocq-coqide-server-debuginfo",
            "epoch": null,
            "version": "9.1.0",
            "release": "1.fc42",
            "arch": "x86_64"
        },
        {
            "name": "rocq-debugsource",
            "epoch": null,
            "version": "9.1.0",
            "release": "1.fc42",
            "arch": "x86_64"
        },
        {
            "name": "coq-core-compat",
            "epoch": null,
            "version": "9.1.0",
            "release": "1.fc42",
            "arch": "x86_64"
        },
        {
            "name": "rocq-runtime-debuginfo",
            "epoch": null,
            "version": "9.1.0",
            "release": "1.fc42",
            "arch": "x86_64"
        },
        {
            "name": "rocq-runtime",
            "epoch": null,
            "version": "9.1.0",
            "release": "1.fc42",
            "arch": "x86_64"
        },
        {
            "name": "rocq-rocqide-debuginfo",
            "epoch": null,
            "version": "9.1.0",
            "release": "1.fc42",
            "arch": "x86_64"
        },
        {
            "name": "rocq-core",
            "epoch": null,
            "version": "9.1.0",
            "release": "1.fc42",
            "arch": "x86_64"
        },
        {
            "name": "rocq-rocqide",
            "epoch": null,
            "version": "9.1.0",
            "release": "1.fc42",
            "arch": "x86_64"
        }
    ]
}