File information

  • Filename: coq-8.20.0-1.1.src.rpm
  • Path: /ports/ppc/source/factory/repo/oss/src/coq-8.20.0-1.1.src.rpm
  • Size: 17MiB (17914833 bytes)
  • Last modified: 09-Sep-2024 13:12:59 (Unix timestamp: 1725887579)
  • SHA-512 Hash: 5c6fd62aa9a8f240843db3ca0c7c33ecd3ee63114fad02983cedbbe0815c6ccf3db3e38b2be0e2fb2a56428f18946509b50dc2637a5262f4131d6ed1b4076313
  • SHA-256 Hash: cae55a50e604a6073fd43db0f6dd9baa5e1971ef4b8cfbc303c514e874865c46
  • SHA-1 Hash: 1349be84836ebf3cd8b5ea104296ee945527cd01
  • MD5 Hash: dee3713ee32b4dd20725c8b75ee4eca2
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/ports/ppc/source/tumbleweed/repo/oss/src/coq-8.20.0-1.1.src.rpm

Mirrors

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

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