File information

  • Filename: coq-8.19.1-bp156.1.14.src.rpm
  • Path: /ports/ppc/source/distribution/leap/15.6/repo/oss/src/coq-8.19.1-bp156.1.14.src.rpm
  • Size: 17MiB (17479954 bytes)
  • Last modified: 21-May-2024 16:41:00 (Unix timestamp: 1716309660)
  • SHA-512 Hash: a30ee172879c1ca37af2ebfa7d8b2d7e11c37dfc7f3cab34a32cfd557b88e10e30283ac3c1f09ee0cb5fb8c0e2bf904d3f302edf336cc9ae86533634fb1954cc
  • SHA-256 Hash: 2f2be915a4e0685e99164662a92f1db64ce40ec8300dc4ad9ed18a436327087c
  • SHA-1 Hash: 4668744c6342b25c4f971f8adc8b03cbc5d50f25
  • MD5 Hash: e669e6235b1eba01fb6966d771981f0a
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/source/distribution/leap/15.6/repo/oss/src/coq-8.19.1-bp156.1.14.src.rpm

Mirrors

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

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