File information

  • Filename: coq-doc-8.13.2-bp154.1.44.aarch64.rpm
  • Path: /ports/aarch64/distribution/leap/15.4/repo/oss/aarch64/coq-doc-8.13.2-bp154.1.44.aarch64.rpm
  • Size: 8.8MiB (9181696 bytes)
  • Last modified: 12-May-2022 02:18:00 (Unix timestamp: 1652321880)
  • SHA-512 Hash: 62b6bd7567a46e514e744ced297d2c5e74c1e97225368fc23fac115ffdf27153e1a8c82d4d079018e0074d1288d00569b1055e06d41d26d92641be76a32c352b
  • SHA-256 Hash: 47c817a3b6e9cfed50cbdca58c88aa4e3fe9d7eea4d9667a21e042774bf6c168
  • SHA-1 Hash: bf180d649c4d6d692ca90655dc1209834698ee90
  • MD5 Hash: 9675dd13feb3a05351f5655769bdfa10
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/distribution/leap/15.4/repo/oss/aarch64/coq-doc-8.13.2-bp154.1.44.aarch64.rpm

Mirrors

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

Mirrors which handle this country: 15
Mirrors in other countries, but same continent: 8
Mirrors in other parts of the world: 122