{
    "name": "why3",
    "epoch": null,
    "version": "1.7.2",
    "release": "9",
    "exclusivearch": [
        "aarch64",
        "ppc64",
        "ppc64p7",
        "ppc64le",
        "riscv64",
        "s390x",
        "x86_64"
    ],
    "excludearch": []
}