{
  "673021": {
    "ghc-idris-doc-1.3.4-2.oc9.noarch.rpm": "3bf1a9d16cd04bb0b2b47b1e0d99829782b40ef4105cf415d94783e9515248f1",
    "idris-common-1.3.4-2.oc9.noarch.rpm": "6bf56947d21a927ec1f89ed14502baa292b21431d8a41d85c6f63f8f5755d051",
    "idris-docs-1.3.4-2.oc9.noarch.rpm": "88c9cc6d019eb95293c70e3b59b5ed717acefd84e972afe047d3a8a6a88aec70",
    "idris-manual-1.3.4-2.oc9.noarch.rpm": "ec1e1c2c18ab5eb6c57f8b6a861bec7f488eb64bf47fa9a1188e0f8fdbc5f8e3"
  }
}