{ "packages": [ { "name": "emacs-proofgeneral", "epoch": 0, "version": "4.5", "release": "2.fc38", "arch": "noarch" }, { "name": "emacs-common-proofgeneral", "epoch": 0, "version": "4.5", "release": "2.fc38", "arch": "noarch" }, { "name": "emacs-common-proofgeneral", "epoch": 0, "version": "4.5", "release": "2.fc38", "arch": "src" } ] }