Main
Development
Information
Community
Social media
Other

File information

  • Filename: coq-8.20.1-72.65.src.rpm
  • Path: /repositories/science/openSUSE_Tumbleweed/src/coq-8.20.1-72.65.src.rpm
  • Size: 17MiB (17921681 bytes)
  • Last modified: 20-Mar-2025 01:24:00 (Unix timestamp: 1742433840)
  • SHA-512 Hash: 3c7c710dcb8675ecc57bccbd018fd5ee26071a7a15cbee360557421b9c7e789b17c99f115c53ed092e9349917c6af36f557a2c87cd86278cd01385e4c2db9e3f
  • SHA-256 Hash: b071977ed12c9b1e178a3e4d00599273d2afc530b3d343ad0143298031904eb6
  • SHA-1 Hash: 19aca1b7f939556beb253f7558320328bfd0eb89
  • MD5 Hash: 5c941f3f75dda28b0a6351b15eeef30c
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/src/coq-8.20.1-72.65.src.rpm

Mirrors

List of best mirrors for IP address 3.142.50.218, located at 37.751,-97.822 in (US)

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