{
    "packages": [
        {
            "name": "Agda-stdlib-docs",
            "epoch": null,
            "version": "1.7.3",
            "release": "5.fc41",
            "arch": "noarch"
        },
        {
            "name": "Agda-stdlib",
            "epoch": null,
            "version": "1.7.3",
            "release": "5.fc41",
            "arch": "noarch"
        },
        {
            "name": "Agda-stdlib",
            "epoch": null,
            "version": "1.7.3",
            "release": "5.fc41",
            "arch": "src"
        }
    ]
}