File information

  • Filename: coq-9.3.0-1.1.src.rpm
  • Path: /ports/zsystems/source/tumbleweed/repo/oss/src/coq-9.3.0-1.1.src.rpm
  • Size: 19MiB (19452833 bytes)
  • Last modified: 21-Sep-2026 12:17:00 (Unix timestamp: 1789993020)
  • SHA-512 Hash: 37545de21972113ff58661d0243b1f215d3c0f56ed0e4747b016af764ff0d10ea56ed95d0895d71d7f6390d67db3c2a7bd49e3dccd4ad2b922592ecd158b87fd
  • SHA-256 Hash: 1ad4222757e0aee18704dabab80f53a5787d33716e86e214dfecec53961cdb54
  • SHA-1 Hash: f7ee22c6b53780dec18a359c0f5683e0e5c56b01
  • MD5 Hash: 341c6179993807a4d54738ece48606f5
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/ports/zsystems/source/tumbleweed/repo/oss/src/coq-9.3.0-1.1.src.rpm

Mirrors

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

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