File information

  • Filename: coq-8.20.1-1.5.src.rpm
  • Path: /ports/zsystems/source/tumbleweed/repo/oss/src/coq-8.20.1-1.5.src.rpm
  • Size: 17MiB (17921643 bytes)
  • Last modified: 10-Mar-2025 05:13:00 (Unix timestamp: 1741583580)
  • SHA-512 Hash: 9603eeae56ca42e3c227ec393a5f151038b9ad68bd119eaf1e0e23679b8e49eccdd325e836615956408db0a354fd07fdc1214863c3852223335cc8d3a27807b3
  • SHA-256 Hash: e7e760257a04d87bfd17d855b3397f7c3165625a0b460d575682cd3f205042c6
  • SHA-1 Hash: 7b5709badbcada139a615c4fded3926110372dac
  • MD5 Hash: 88a9b3898fd537c0832999685b4e2889
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/ports/zsystems/source/tumbleweed/repo/oss/src/coq-8.20.1-1.5.src.rpm

Mirrors

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

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