File information

  • Filename: coq-9.2.0-87.4.src.rpm
  • Path: /repositories/science/openSUSE_Tumbleweed/src/coq-9.2.0-87.4.src.rpm
  • Size: 18MiB (18653129 bytes)
  • Last modified: 13-Aug-2026 15:31:00 (Unix timestamp: 1786635060)
  • SHA-512 Hash: c47b5e86a6ca48cc3e33c7e4d71928be43aa45de9158cac7ebcecef7f76018d02db9bcb214323e0ade8a1e5e1f184f054acd437738bb7b078f110cbad4d077c3
  • SHA-256 Hash: b1e2b5fa31d3a2758b36294924be6d43cc550739f14d90827afc79b1159acb83
  • SHA-1 Hash: e5b3a5eff9ea8b303f923b1f3fb559f70bff2e76
  • MD5 Hash: 4f991280d2c75fc7dee83098f934a630
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/src/coq-9.2.0-87.4.src.rpm

Mirrors

List of best mirrors for IP address 216.73.217.83, located at 39.9587,-82.9987 in (US)

Mirrors which handle this country: 0
Mirrors in other countries, but same continent: 0
Mirrors in other parts of the world: 1