File information

  • Filename: coq-doc-8.13.2-bp155.2.13.s390x.rpm
  • Path: /distribution/openSUSE-stable/repo/oss/s390x/coq-doc-8.13.2-bp155.2.13.s390x.rpm
  • Size: 8.8MiB (9184248 bytes)
  • Last modified: 22-May-2023 13:43:17 (Unix timestamp: 1684762997)
  • SHA-512 Hash: 64e055254c27877f6bd0918ac6174ceba450b0ea43d3dadc11cd3c20bc6acd1ccfd4463b930a6fb6c0ad9a562c7d761fea86986ed1ba9e3ec0c3d6a7f1dc5154
  • SHA-256 Hash: c707fb48b83d78bd3993d3c2ec971e60f19ebf095f7006d319a3e56ba0d951fe
  • SHA-1 Hash: 85bce4a79c3696edccdeb38d9bfd43f7af72a49c
  • MD5 Hash: 2b81e5ba2e85d9e9accbaf592eb9872e
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/distribution/leap/15.5/repo/oss/s390x/coq-doc-8.13.2-bp155.2.13.s390x.rpm

Mirrors

List of best mirrors for IP address 172.69.6.45, located at 43.0382,-87.91 in (US)

Mirrors which handle this country: 22
Mirrors in other countries, but same continent: 8
Mirrors in other parts of the world: 177