File information

  • Filename: coq-9.3.0-1.1.src.rpm
  • Path: /tumbleweed/repo/src-oss/src/coq-9.3.0-1.1.src.rpm
  • Size: 19MiB (19452863 bytes)
  • Last modified: 21-Sep-2026 11:05:23 (Unix timestamp: 1789988723)
  • SHA-512 Hash: 6b7fdbf45dea0db686495caf2bdcfbd3367ee97029f0a0a7e8297c09f07a67a7ad99becde736e27e513039c44adb8cb56b2415edfe198f14e1eec2f1fb490751
  • SHA-256 Hash: c59518bb7f0780059de054c4a23bb65400de0bde63a3146b5ff1f8177a3ead82
  • SHA-1 Hash: 2c1989a5a62d97d5e6e0df17b3178db2989d0338
  • MD5 Hash: cd15a0f56522270fe2c6e6c38d5e49c1
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/source/tumbleweed/repo/oss/src/coq-9.3.0-1.1.src.rpm

Mirrors

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

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