{
  "20464": {
    "emacs-common-proofgeneral-4.5-15.20240912git1ffca70.fc45.noarch.rpm": "275edaada96d465b2a8f8d35acdb96d45617d08945dd46aedf56cd812e7603f8",
    "emacs-proofgeneral-4.5-15.20240912git1ffca70.fc45.noarch.rpm": "3623967d97a1bb6ec49af5d6e3c1de6bb0affb81f8ad1c3c08c5fae30d4e1693"
  }
}