File information

  • Filename: coq-9.2.0-2.1.src.rpm
  • Path: /ports/zsystems/source/tumbleweed/repo/oss/src/coq-9.2.0-2.1.src.rpm
  • Size: 18MiB (18653090 bytes)
  • Last modified: 04-Aug-2026 20:31:00 (Unix timestamp: 1785875460)
  • SHA-512 Hash: 2e413c86e56820cbe6f7a5c84ecde473e59415c7ef025f083d2b52cdd662a183927a4e5d0c081d28d84637e5eef47faa8ff6e71d6665a6a32b55935b5046621e
  • SHA-256 Hash: 51378eb7c4b4a53067f7f492bdc5e85cb3e12b45d0fa6dc27078a923214c12ae
  • SHA-1 Hash: f668a03cac8fc1fdf015ff7520a111295c9e3c03
  • MD5 Hash: bb65619705c006f4088b3b2b1d097a6e
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/ports/zsystems/source/tumbleweed/repo/oss/src/coq-9.2.0-2.1.src.rpm

Mirrors

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

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