File information

  • Filename: coq-9.3.0-1.1.src.rpm
  • Path: /ports/aarch64/source/factory/repo/oss/src/coq-9.3.0-1.1.src.rpm
  • Size: 19MiB (19452854 bytes)
  • Last modified: 21-Sep-2026 10:57:35 (Unix timestamp: 1789988255)
  • SHA-512 Hash: 3a17fa097433692dd593fafaba0cf82b0c4e28eb8520754d8a82e81bb15e63c4f9cbeb3271e67d03f02b86553eaa81e00890d545e5b2fa541df2596af5cf172b
  • SHA-256 Hash: 3bee3860874d30b6da3f0e6233eb01bde228928921adbb92e752f39489dab318
  • SHA-1 Hash: 0a75abadeeef0980db27f74cfc2a409ef1de1127
  • MD5 Hash: 74981d25cd80da05da8ae35ce8ee8961
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/ports/aarch64/source/tumbleweed/repo/oss/src/coq-9.3.0-1.1.src.rpm

Mirrors

List of best mirrors for IP address 216.73.216.141, located at 39.9587,-82.9987 in (US)

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