File information

  • Filename: coq-9.2.0-1.2.src.rpm
  • Path: /source/tumbleweed/repo/oss/src/coq-9.2.0-1.2.src.rpm
  • Size: 18MiB (18652117 bytes)
  • Last modified: 03-Apr-2026 06:39:00 (Unix timestamp: 1775198340)
  • SHA-512 Hash: 4e5a1893aefde0c82379c066143a57c5bcf185149ef97a5a3157bf6b6431b3e6d2da27f7f145f7d776b5d54d82b75a6ef25bc6913b40d1741cf199e24ff4913a
  • SHA-256 Hash: a7290b626dcedb2fa4329cdb0622ebd38c061975d51988b90c31b7b6896689ce
  • SHA-1 Hash: 4acaea0167c5258f0db93fc5356416ca36759834
  • MD5 Hash: 2071f20fa88e2dce54a955737c620070
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://downloadcontent2.opensuse.org/source/tumbleweed/repo/oss/src/coq-9.2.0-1.2.src.rpm

Mirrors

List of best mirrors for IP address 216.73.216.190, located at 39.9625,-83.0061 in (US)

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