File information

  • Filename: coq-doc-8.19.1-bp156.1.11.noarch.rpm
  • Path: /distribution/openSUSE-stable/repo/oss/noarch/coq-doc-8.19.1-bp156.1.11.noarch.rpm
  • Size: 6.3MiB (6649608 bytes)
  • Last modified: 06-May-2024 11:12:34 (Unix timestamp: 1714993954)
  • SHA-512 Hash: e99510bc5821f663250d66b77a89a16dc1a92d10216728939cff8f29129538e7aaccc44a9c29a5b25803d7d62b0109c83e8c388ead5debc450260b6032dd1bb2
  • SHA-256 Hash: 91d18c3c2b358d6ef6bdd06c91d6003ad0783202381e7f5386e9f1ada26181dc
  • SHA-1 Hash: 6ed119715ad73203492c9f80ec9a0fd8b26434a0
  • MD5 Hash: d58561ac2d54ecd4d7f34ca0d5958dd0
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/distribution/leap/15.6/repo/oss/noarch/coq-doc-8.19.1-bp156.1.11.noarch.rpm

Mirrors

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

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