File information

  • Filename: coq-ide-8.20.0-70.72.i586.rpm
  • Path: /repositories/science/openSUSE_Tumbleweed/i586/coq-ide-8.20.0-70.72.i586.rpm
  • Size: 22MiB (22760930 bytes)
  • Last modified: 25-Nov-2024 21:09:00 (Unix timestamp: 1732568940)
  • SHA-512 Hash: d2e3f2f2099b669f544b8c06de3311fa057f8017bd04e05603ffbb726d840b7d6edcdfb7ee8fa676163c06777fe2641845f6bfe16436e53a935cdb8e2956a292
  • SHA-256 Hash: ef0ffa82b457fb628fef89342e6ef2bfb8666929d63cbee89a4c417180bb3700
  • SHA-1 Hash: 0b69c6646c2cc63ac37099d7fe36edf5ad9b0f62
  • MD5 Hash: 642e629e706e98dc46f0253f4564bf0a
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/i586/coq-ide-8.20.0-70.72.i586.rpm

Mirrors

List of best mirrors for IP address 18.191.129.241, located at 39.9625,-83.0061 in (US)

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