File information

  • Filename: coq-8.18.0-1.1.src.rpm
  • Path: /repositories/home:/HuangZeshun:/PowerPC/standard/src/coq-8.18.0-1.1.src.rpm
  • Size: 17MiB (17383692 bytes)
  • Last modified: 09-Aug-2025 06:47:00 (Unix timestamp: 1754722020)
  • SHA-512 Hash: f7736bfc34b2e52c030ddbf40a56463f84f6cbf0fac6a73118910bb92f9a7b81e191953a820aa81286dff6d0ac544702f0226c9a64a32dc5ab095e4de9c062bf
  • SHA-256 Hash: 6fc0a7ab5834df36e3ced091c5b2f5eda4187a4dca33b512b79f46bab2d4d324
  • SHA-1 Hash: ace0381307ae9a5ae088091ad9185008a3a8551f
  • MD5 Hash: 847edb4a72a43fb6f49cc463d98ccb4a
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/repositories/home:/HuangZeshun:/PowerPC/standard/src/coq-8.18.0-1.1.src.rpm

Mirrors

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

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