File information

  • Filename: coq-9.2.0-82.53.src.rpm
  • Path: /repositories/science/openSUSE_Factory_PowerPC/src/coq-9.2.0-82.53.src.rpm
  • Size: 18MiB (18652208 bytes)
  • Last modified: 13-Jun-2026 21:17:00 (Unix timestamp: 1781385420)
  • SHA-512 Hash: 4cce14c849c7e957a22baa426610796e1f29240841f2838326ce8859b16375328e7c9abd822f8b5bef00047ae990f60bd6d5f432b3fb59dd6e5b67fdfa7df934
  • SHA-256 Hash: f3a45b56f5b74995c9613449472763d0c425b9b7e9b7e1c4199dc49faeefbda4
  • SHA-1 Hash: 83efd2a310f04f3d8df5bea3c9744e7881a0f4ef
  • MD5 Hash: f0dcff1b594418ab055afdecf68330f3
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/src/coq-9.2.0-82.53.src.rpm

Mirrors

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