File information

  • Filename: coq-debugsource-9.2.0-82.23.x86_64.rpm
  • Path: /repositories/science/Factory/x86_64/coq-debugsource-9.2.0-82.23.x86_64.rpm
  • Size: 36KiB (36686 bytes)
  • Last modified: 21-May-2026 18:56:20 (Unix timestamp: 1779389780)
  • SHA-512 Hash: 11ccf1da59c238b3124eb83369e8960ee9f05d7967f34da21048fc5afbdf177a5a640d369ec799d5bb36b435b9112b9c346eb034b3815b8f801c0b9d30ff0fa5
  • SHA-256 Hash: 3c647d58ca3aaf766b3d35bb498393e1408d4b4fde6c8706fe9603a5629d0d2f
  • SHA-1 Hash: cfea56bba6db1d74b08e82862ff488372c431a35
  • MD5 Hash: 2fb852362eacf73edafc431e769f6a8f
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/repositories/science/Factory/x86_64/coq-debugsource-9.2.0-82.23.x86_64.rpm

Mirrors

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