{
    "packages": [
        {
            "name": "coq-core",
            "epoch": 0,
            "version": "8.16.1",
            "release": "2.fc38",
            "arch": "x86_64"
        },
        {
            "name": "coq-coqide-server",
            "epoch": 0,
            "version": "8.16.1",
            "release": "2.fc38",
            "arch": "x86_64"
        },
        {
            "name": "coq-core-debuginfo",
            "epoch": 0,
            "version": "8.16.1",
            "release": "2.fc38",
            "arch": "x86_64"
        },
        {
            "name": "coq-coqide",
            "epoch": 0,
            "version": "8.16.1",
            "release": "2.fc38",
            "arch": "x86_64"
        },
        {
            "name": "coq-debuginfo",
            "epoch": 0,
            "version": "8.16.1",
            "release": "2.fc38",
            "arch": "x86_64"
        },
        {
            "name": "coq",
            "epoch": 0,
            "version": "8.16.1",
            "release": "2.fc38",
            "arch": "x86_64"
        },
        {
            "name": "coq",
            "epoch": 0,
            "version": "8.16.1",
            "release": "2.fc38",
            "arch": "src"
        },
        {
            "name": "coq-coqide-debuginfo",
            "epoch": 0,
            "version": "8.16.1",
            "release": "2.fc38",
            "arch": "x86_64"
        },
        {
            "name": "coq-coqide-server-debuginfo",
            "epoch": 0,
            "version": "8.16.1",
            "release": "2.fc38",
            "arch": "x86_64"
        },
        {
            "name": "coq-debugsource",
            "epoch": 0,
            "version": "8.16.1",
            "release": "2.fc38",
            "arch": "x86_64"
        }
    ]
}