File information

  • Filename: coq-8.13.2-bp155.2.13.src.rpm
  • Path: /source/distribution/leap/15.5/repo/oss/src/coq-8.13.2-bp155.2.13.src.rpm
  • Size: 18MiB (18771777 bytes)
  • Last modified: 22-May-2023 10:18:00 (Unix timestamp: 1684750680)
  • SHA-512 Hash: d4c24986e8e5af836e441bcb3fce74a3bc87b150d547221a620d267806d194a9753ff416c06d7152b838d7ab05cd1dfc90536a52f29605d739656b154e253359
  • SHA-256 Hash: a7d8b3cee30479aa4bd67a94617adf1ca0de5090017c65f0a7727be496997374
  • SHA-1 Hash: dc509eae44229b5319ae076cf344bebd37c1cc72
  • MD5 Hash: 362ae171eac4b7f67776fe090b5afc66
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/source/distribution/leap/15.5/repo/oss/src/coq-8.13.2-bp155.2.13.src.rpm

Mirrors

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

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