File information

  • Filename: coq-doc-8.13.2-bp155.2.13.x86_64.rpm
  • Path: /distribution/openSUSE-stable/repo/oss/x86_64/coq-doc-8.13.2-bp155.2.13.x86_64.rpm
  • Size: 8.8MiB (9182496 bytes)
  • Last modified: 22-May-2023 10:18:10 (Unix timestamp: 1684750690)
  • SHA-512 Hash: 0aa303cb90b9025c2b84ab67a023f41d8c759f5914990f9ffdbd53f1a3027ad2d5fce530ed1b362eb6f9a5a84d7f9d8dab31590be86a8d7ae6b73b3019bca756
  • SHA-256 Hash: 5016dfdcad252644a2946d0bd211a0c07c969835304de18e7b13779f82cc02dd
  • SHA-1 Hash: d51cf5c0e9c43431d3f41c8c5cd5053f0e2a5763
  • MD5 Hash: 36432e3a26d47fdd4c0dbbbde4e40573
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/distribution/leap/15.5/repo/oss/x86_64/coq-doc-8.13.2-bp155.2.13.x86_64.rpm

Mirrors

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

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