{
    "packages": [
        {
            "name": "lean4",
            "epoch": null,
            "version": "4.27.0",
            "release": "0.rc1.fc44",
            "arch": "ppc64le"
        },
        {
            "name": "lean4",
            "epoch": null,
            "version": "4.27.0",
            "release": "0.rc1.fc44",
            "arch": "src"
        }
    ]
}