{
  "52524": {
    "yices-doc-2.7.0-2.fc43.noarch.rpm": "3ef3792394a5b4e81c1bc095dc476e72de1a453d024a39c3c9351b5009064e92"
  }
}