File information

  • Filename: coq-9.2.0-82.48.src.rpm
  • Path: /repositories/science/Factory/src/coq-9.2.0-82.48.src.rpm
  • Size: 18MiB (18652134 bytes)
  • Last modified: 15-Jul-2026 16:36:00 (Unix timestamp: 1784133360)
  • SHA-512 Hash: bf3cedb5c0a1c0faf508d38e9ca5dc821405d0b03b8beecd0489daf473504940fa0f69e63b87e898c86c32ba0b4a0946d1ebdd184fbb70afb6f5d62dfb8ede1e
  • SHA-256 Hash: 651c96f72205d1476bc364ff634a76c07642f00c3e3b5a4d31bf4b0b3375a54c
  • SHA-1 Hash: 3cb1723f368dc963d647499bf0817eefad8363a7
  • MD5 Hash: 1b092916554836cf3191dcf70c0744ee
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://downloadcontent2.opensuse.org/repositories/science/Factory/src/coq-9.2.0-82.48.src.rpm

Mirrors

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