File information

  • Filename: coq-8.20.1-1.5.src.rpm
  • Path: /ports/aarch64/source/factory/repo/oss/src/coq-8.20.1-1.5.src.rpm
  • Size: 17MiB (17921660 bytes)
  • Last modified: 12-Mar-2025 12:51:00 (Unix timestamp: 1741783860)
  • SHA-512 Hash: fb7c038a95443614b5a3d799625c3d025390d30a428272ca534a81c5931b1dc216ea592d6db68851d28f470a751a571012715793bc4c086a30b00bc226e41597
  • SHA-256 Hash: 571d4ee8f758be90d4eaf47f7fbf584788afc17981ec39d588e52548b0075e09
  • SHA-1 Hash: 24517e8eacd0a1a7a22498013d6d551ca9c19f38
  • MD5 Hash: 113d2ccccaaa4b40b29b7eb4d00736fd
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/ports/aarch64/source/tumbleweed/repo/oss/src/coq-8.20.1-1.5.src.rpm

Mirrors

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