File information

  • Filename: coq-9.2.0-85.1.src.rpm
  • Path: /repositories/science/openSUSE_Slowroll/src/coq-9.2.0-85.1.src.rpm
  • Size: 18MiB (18653121 bytes)
  • Last modified: 03-Aug-2026 21:34:00 (Unix timestamp: 1785792840)
  • SHA-512 Hash: a8624b01f3403360c0eeaaaf9a2c550c316b0116c41b7cae00a8dd73af80737c0e4c2e83cfa8aef18c54936cc0a4125721b3a8ff90458d00c1dc97d4888323f8
  • SHA-256 Hash: 8d3ec50c3a54cfa7f2820fcb28c87ac4e6ed48057ec7518b4e41f3f499d36973
  • SHA-1 Hash: 72f92101654b0779129b9988a3cae15441fa8766
  • MD5 Hash: d10af188aada081c74e018abb00792f9
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/openSUSE_Slowroll/src/coq-9.2.0-85.1.src.rpm

Mirrors

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