{
    "packages": [
        {
            "name": "idris2-lib-debuginfo",
            "epoch": null,
            "version": "0.7.0",
            "release": "1.fc41",
            "arch": "aarch64"
        },
        {
            "name": "idris2-lib",
            "epoch": null,
            "version": "0.7.0",
            "release": "1.fc41",
            "arch": "aarch64"
        },
        {
            "name": "idris2-docs",
            "epoch": null,
            "version": "0.7.0",
            "release": "1.fc41",
            "arch": "aarch64"
        },
        {
            "name": "idris2",
            "epoch": null,
            "version": "0.7.0",
            "release": "1.fc41",
            "arch": "src"
        },
        {
            "name": "idris2-debugsource",
            "epoch": null,
            "version": "0.7.0",
            "release": "1.fc41",
            "arch": "aarch64"
        },
        {
            "name": "idris2",
            "epoch": null,
            "version": "0.7.0",
            "release": "1.fc41",
            "arch": "aarch64"
        }
    ]
}