{
    "packages": [
        {
            "name": "gappalib-coq",
            "epoch": 0,
            "version": "1.5.2",
            "release": "5.fc38",
            "arch": "src"
        },
        {
            "name": "gappalib-coq-debugsource",
            "epoch": 0,
            "version": "1.5.2",
            "release": "5.fc38",
            "arch": "s390x"
        },
        {
            "name": "gappalib-coq",
            "epoch": 0,
            "version": "1.5.2",
            "release": "5.fc38",
            "arch": "s390x"
        },
        {
            "name": "gappalib-coq-debuginfo",
            "epoch": 0,
            "version": "1.5.2",
            "release": "5.fc38",
            "arch": "s390x"
        },
        {
            "name": "gappalib-coq-source",
            "epoch": 0,
            "version": "1.5.2",
            "release": "5.fc38",
            "arch": "s390x"
        }
    ]
}