File information

  • Filename: coq-8.20.0-1.2.src.rpm
  • Path: /tumbleweed/repo/src-oss/src/coq-8.20.0-1.2.src.rpm
  • Size: 17MiB (17914739 bytes)
  • Last modified: 10-Jan-2025 13:30:37 (Unix timestamp: 1736515837)
  • SHA-512 Hash: 1a3386400f789f2af334e14188ab8219c72eda6d683e62f82b248c7cd68878bfaf5e6374e64e3af9b49d6849c8f2217c7a91aad86ba26e517e1a41d6784d9fb3
  • SHA-256 Hash: bbb53f0ed2a54a8eb681fceadc61942b144ab8df38bab6367e97f1e22322e5fe
  • SHA-1 Hash: 7c692a194a1de0815e351448eecb848df948b2e6
  • MD5 Hash: 16d7c7d074d8da10e80ff917da0e06e9
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/source/tumbleweed/repo/oss/src/coq-8.20.0-1.2.src.rpm

Mirrors

List of best mirrors for IP address 18.190.176.244, located at 39.9625,-83.0061 in (US)

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