File information

  • Filename: coq-doc-8.20.1-1.3.noarch.rpm
  • Path: /ports/riscv/tumbleweed/repo/oss/noarch/coq-doc-8.20.1-1.3.noarch.rpm
  • Size: 5.8MiB (6052086 bytes)
  • Last modified: 04-Mar-2025 22:44:19 (Unix timestamp: 1741128259)
  • SHA-512 Hash: c0f3f9bf725d365581b5bf4aee5d872c0a1022a930bd81971fef48d21d90a0c63bfa7efd301b2d131a88fffbe064fc9ac5d72cb834bc0eb3603e325c10252754
  • SHA-256 Hash: 15834913ce6a235a24be91a80f83c9e457e096346bd09c3f62a314c92a16b0e2
  • SHA-1 Hash: f674ca88425b1766ca117e3d73fc95a4fd603651
  • MD5 Hash: df39cfa944f272530eab112808557410
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/ports/riscv/tumbleweed/repo/oss/noarch/coq-doc-8.20.1-1.3.noarch.rpm

Mirrors

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

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