File information

  • Filename: coq-9.2.0-1.3.src.rpm
  • Path: /ports/aarch64/source/factory/repo/oss/src/coq-9.2.0-1.3.src.rpm
  • Size: 18MiB (18652082 bytes)
  • Last modified: 05-Apr-2026 14:05:00 (Unix timestamp: 1775397900)
  • SHA-512 Hash: bad9b6f1987f93372cba91295d9215babc2703a59b93a5b5c2adfadc82f1382b7d9202259846ee92c2ef3d4a6754f9459c68c697649882281f9b8f91b109a203
  • SHA-256 Hash: 7cd1deff3ba2aef27015caa3b572784595e1f6d9711e88449700e6d2c6acd8d3
  • SHA-1 Hash: 3f22f2f4a732702e75d9064a748c277e875776ee
  • MD5 Hash: 738207af92a922d8c3a8143e98a65c1a
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/ports/aarch64/source/tumbleweed/repo/oss/src/coq-9.2.0-1.3.src.rpm

Mirrors

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

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