{
  "92732": {
    "yices-doc-2.7.0-10.fc45.noarch.rpm": "65872005284672ab966aee5377308c2df335ca33446d1b9a35cd0c55a7edd2a2"
  }
}