{
  "35767": {
    "ghc-idris-doc-1.3.4-27.fc45.noarch.rpm": "ce5cfd6b1692164e03de289b527142470c8238e390bc7036bac41a13ecfd2585",
    "idris-common-1.3.4-27.fc45.noarch.rpm": "0200b46fc2c9245d526329c703c5e43ba5b89f4655282a7ca78aed8684a3371f",
    "idris-docs-1.3.4-27.fc45.noarch.rpm": "277c8f09c4990edcaf272b0316cc0c601efdeafc95f1aff258d332eed05b5e5c",
    "idris-manual-1.3.4-27.fc45.noarch.rpm": "4d19cf429e1ca9ec38ad145d7f31cc04ce285f8a577238a4ba65bc0eb4ced411"
  }
}