File information

  • Filename: coq-8.13.2-bp155.2.13.x86_64.rpm
  • Path: /distribution/openSUSE-current/repo/oss/x86_64/coq-8.13.2-bp155.2.13.x86_64.rpm
  • Size: 49MiB (51374296 bytes)
  • Last modified: 22-May-2023 10:18:09 (Unix timestamp: 1684750689)
  • SHA-512 Hash: dea6a97b45c5c546fbd1c15bda2e52563a1cfb2f09c2926954661dba8baf7cd1421ca5d36d1591fc0633ff21f68bbf283eba4b09395b8e5b702a035fe6c08620
  • SHA-256 Hash: ee427803ed85bae942a09e3214f0af9f485588183301741971823fa63d83c847
  • SHA-1 Hash: f1504c5e93eb3ad0b3d3ad7175c9fd068a485a67
  • MD5 Hash: 26f252dcb6f0229128eb10178eb4c345
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/distribution/leap/15.5/repo/oss/x86_64/coq-8.13.2-bp155.2.13.x86_64.rpm

Mirrors

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

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