{
    "name": "Agda",
    "epoch": null,
    "version": "2.3.2.2",
    "release": "5",
    "exclusivearch": [],
    "excludearch": [
        "armv7hl"
    ]
}