File information

  • Filename: coq-9.3.0-1.2.src.rpm
  • Path: /ports/zsystems/source/tumbleweed/repo/oss/src/coq-9.3.0-1.2.src.rpm
  • Size: 19MiB (19452833 bytes)
  • Last modified: 28-Sep-2026 19:38:00 (Unix timestamp: 1790624280)
  • SHA-512 Hash: 79c6e5ba6373ae2c3433d62a148c6660ccacaf6c73c9e3ae36bee368f5678667a61375d8c2145362f1d9d0e7044a1cad299fc30f12b25fa2527fb1fc5074f8a3
  • SHA-256 Hash: 5950e99d2999ce5b0149b183f86ecfbe9af9d5925e45c45e1971cdba76c690ff
  • SHA-1 Hash: 65574f8afebb16ccb222a3276c6bc0a04c36829b
  • MD5 Hash: e992c832c6849cdc7cb0aab4a45c2473
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/ports/zsystems/source/tumbleweed/repo/oss/src/coq-9.3.0-1.2.src.rpm

Mirrors

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