File information

  • Filename: coq-8.20.0-70.115.src.rpm
  • Path: /repositories/science/openSUSE_Tumbleweed/src/coq-8.20.0-70.115.src.rpm
  • Size: 17MiB (17914907 bytes)
  • Last modified: 14-Jan-2025 19:50:00 (Unix timestamp: 1736884200)
  • SHA-512 Hash: bc0c0f93717e6a7aecbe604d7bde056bce667665ffca43c54524e2d38329568fe199ddf245020b3f7143e7b58483b62b183c15aeb38b1d4be6cee9e834745b47
  • SHA-256 Hash: afaa432b73beec257391ec896d5af976e57c67babb013e9e7631c7f1087cf08b
  • SHA-1 Hash: ace1e05cdc5401ed17ea5c0e43e534c828c96c89
  • MD5 Hash: 2fc5f039e110672ba367db514d170cc4
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/src/coq-8.20.0-70.115.src.rpm

Mirrors

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