{
    "architecture_specific_tags": {
        "fedora-44": {
            "buildarch": [
                "noarch"
            ]
        },
        "fedora-45": {
            "buildarch": [
                "noarch"
            ]
        },
        "fedora-rawhide": {
            "buildarch": [
                "noarch"
            ]
        }
    },
    "name": "lean4-mathlib",
    "epoch": null,
    "version": "4.35.0",
    "release": "2"
}