{
    "name": "gappalib-coq",
    "epoch": null,
    "version": "1.8.0",
    "release": "2",
    "exclusivearch": [
        "aarch64",
        "ppc64",
        "ppc64p7",
        "ppc64le",
        "riscv64",
        "s390x",
        "x86_64",
        "x86_64_v2",
        "x86_64_v3",
        "x86_64_v4",
        "amd64",
        "em64t"
    ],
    "excludearch": []
}