File information

  • Filename: coq-9.3.0-88.6.src.rpm
  • Path: /repositories/science/openSUSE_Tumbleweed/src/coq-9.3.0-88.6.src.rpm
  • Size: 19MiB (19452866 bytes)
  • Last modified: 27-Sep-2026 14:37:59 (Unix timestamp: 1790519879)
  • SHA-512 Hash: 750b8aa4f3510c080003cb59ca4635091384829ff697d8ab2ae218a41e198f1a88250e529cd44956a82a01fff2466357a0917aff5e121627ac578dd09eeefcf5
  • SHA-256 Hash: 4a9fd5f25ef123d770a4ade91e13ecfecd9331755af8463503c5f9aed9a36aa4
  • SHA-1 Hash: 0abe21bf2d365048a5c5174fd3759f8d6785b8d9
  • MD5 Hash: 39aa92d15a54a53f8c38f8c64a2149b7
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/src/coq-9.3.0-88.6.src.rpm

Mirrors

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

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