File information

  • Filename: coq-8.20.1-1.6.src.rpm
  • Path: /source/tumbleweed/repo/oss/src/coq-8.20.1-1.6.src.rpm
  • Size: 17MiB (17921678 bytes)
  • Last modified: 27-Feb-2026 00:53:16 (Unix timestamp: 1772153596)
  • SHA-512 Hash: edc6de0db6f25948dd63002e4b9de70b930de7cf3ff3204fcc1def491d7c3c578618fce5d9a4f60adb2188c698adcbb75ed8822212c1d8d04a1c3f0dcd552a12
  • SHA-256 Hash: 246d025265df09761c61a1ac17c4ea14434ba3ff15f2dd4dbee0f7553db142c0
  • SHA-1 Hash: d96240ad740adab60a830c8cc27adf1676408b6c
  • MD5 Hash: d99919e9189525da8f9905d0a8ad5214
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://downloadcontent2.opensuse.org/source/tumbleweed/repo/oss/src/coq-8.20.1-1.6.src.rpm

Mirrors

List of best mirrors for IP address 216.73.216.27, 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: 8