File information

  • Filename: coq-doc-8.20.0-1.1.noarch.rpm
  • Path: /ports/ppc/tumbleweed/repo/oss/noarch/coq-doc-8.20.0-1.1.noarch.rpm
  • Size: 5.8MiB (6061419 bytes)
  • Last modified: 09-Sep-2024 13:13:00 (Unix timestamp: 1725887580)
  • SHA-512 Hash: 8bb245eb81fe5fb6c2a82b6f5765cab42f33e98125c172b907c8deeaf5e9651113e2cb8de95404c129e39c7d9ae11127e65d5d895b8721a4acac3c2c6cbb6ac5
  • SHA-256 Hash: ceeebfaf481572c3a8e191198354f9d5b367a29178a244a9fc7bcdc17b77abad
  • SHA-1 Hash: 2f2c6b5e302875140a06fea7810a4242e88e372c
  • MD5 Hash: 18c362f572e83a21d1ed048a269dc963
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://downloadcontent2.opensuse.org/ports/ppc/tumbleweed/repo/oss/noarch/coq-doc-8.20.0-1.1.noarch.rpm

Mirrors

List of best mirrors for IP address 3.145.84.112, 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: 6