File information

  • Filename: coq-8.20.1-1.5.src.rpm
  • Path: /ports/armv6hl/source/factory/repo/oss/src/coq-8.20.1-1.5.src.rpm
  • Size: 17MiB (17921601 bytes)
  • Last modified: 12-Mar-2025 12:39:08 (Unix timestamp: 1741783148)
  • SHA-512 Hash: 663f1507d5b200e19aaef9ff754367cb5ffda3af4f48a77b9656aba446dd5153d562d595729197d8d579a1d85f5da78ed00226881a0841abda61567a4795d28c
  • SHA-256 Hash: 5efba95b94d6ef367c145dd76be169f830117666c13baa43b7deb9c9a6064f1b
  • SHA-1 Hash: e3f77ff7224ec1ce7af32cf3644f9dbf219f6ff4
  • MD5 Hash: 7b3d02b777d156961a4f05094b27b1c7
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/ports/armv6hl/source/tumbleweed/repo/oss/src/coq-8.20.1-1.5.src.rpm

Mirrors

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

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