File information

  • Filename: coq-9.1.1-1.1.src.rpm
  • Path: /ports/aarch64/source/tumbleweed/repo/oss/src/coq-9.1.1-1.1.src.rpm
  • Size: 17MiB (17572132 bytes)
  • Last modified: 23-Mar-2026 16:30:00 (Unix timestamp: 1774283400)
  • SHA-512 Hash: 3478be714744aa844dade4354e5645c95c0dd1a1cf340274308275746267eacf97d2a3e8cebe75b59a79fccf8429644efe84dda3ccf4f3d96f402e5cd732c66e
  • SHA-256 Hash: 9dd9f0cf93989be51e5e321b04e6a759d2487402df977cd382d37aef9422d6d9
  • SHA-1 Hash: 83a85f033b9209db2383ec3d65b4a644ef01f7a9
  • MD5 Hash: 55a9436a1c5e67dd34be40aad50461ee
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/ports/aarch64/source/tumbleweed/repo/oss/src/coq-9.1.1-1.1.src.rpm

Mirrors

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