File information

  • Filename: coq-doc-8.19.1-1.2.noarch.rpm
  • Path: /ports/zsystems/tumbleweed/repo/oss/noarch/coq-doc-8.19.1-1.2.noarch.rpm
  • Size: 5.8MiB (6031407 bytes)
  • Last modified: 31-Mar-2024 11:13:43 (Unix timestamp: 1711883623)
  • SHA-512 Hash: 9c65860b1e76b5d8bac23c99ac2144506c30a005a9e81ac9d52d445f1a3644fd3192479398348d13e138f1a6f0364e8a19bf529a04166e3bf2727779e7005891
  • SHA-256 Hash: c1d2a7f50bf8c2236de5d73c83d942ec5acaf6218870df7a41a7effa4cd4ff86
  • SHA-1 Hash: ef7f80f56c92315acc3d54dec11e318320bbe92a
  • MD5 Hash: 2003a7dafac0df6099b358e19f51608e
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/ports/zsystems/tumbleweed/repo/oss/noarch/coq-doc-8.19.1-1.2.noarch.rpm

Mirrors

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

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