{
    "packages": [
        {
            "name": "why3-proofgeneral",
            "epoch": 0,
            "version": "1.5.1",
            "release": "3.fc38",
            "arch": "noarch"
        },
        {
            "name": "why3-emacs",
            "epoch": 0,
            "version": "1.5.1",
            "release": "3.fc38",
            "arch": "noarch"
        },
        {
            "name": "ocaml-why3",
            "epoch": 0,
            "version": "1.5.1",
            "release": "3.fc38",
            "arch": "x86_64"
        },
        {
            "name": "why3",
            "epoch": 0,
            "version": "1.5.1",
            "release": "3.fc38",
            "arch": "x86_64"
        },
        {
            "name": "why3",
            "epoch": 0,
            "version": "1.5.1",
            "release": "3.fc38",
            "arch": "src"
        },
        {
            "name": "why3-debugsource",
            "epoch": 0,
            "version": "1.5.1",
            "release": "3.fc38",
            "arch": "x86_64"
        },
        {
            "name": "ocaml-why3-debuginfo",
            "epoch": 0,
            "version": "1.5.1",
            "release": "3.fc38",
            "arch": "x86_64"
        },
        {
            "name": "why3-debuginfo",
            "epoch": 0,
            "version": "1.5.1",
            "release": "3.fc38",
            "arch": "x86_64"
        },
        {
            "name": "ocaml-why3-devel",
            "epoch": 0,
            "version": "1.5.1",
            "release": "3.fc38",
            "arch": "x86_64"
        },
        {
            "name": "why3-examples",
            "epoch": 0,
            "version": "1.5.1",
            "release": "3.fc38",
            "arch": "noarch"
        },
        {
            "name": "why3-all",
            "epoch": 0,
            "version": "1.5.1",
            "release": "3.fc38",
            "arch": "x86_64"
        }
    ]
}