File information

  • Filename: coq-devel-8.20.1-bp156.72.36.aarch64.rpm
  • Path: /repositories/science/15.6/aarch64/coq-devel-8.20.1-bp156.72.36.aarch64.rpm
  • Size: 68MiB (71444832 bytes)
  • Last modified: 19-Jun-2025 20:46:00 (Unix timestamp: 1750365960)
  • SHA-512 Hash: bbd7ae8d0a068fbf21ad00c8f110ec8cbe77cebdda6002148206a85423567924026844090ef46750b8cc6589d19b5a4de27c0c0f4a732883b10b4fda8a45464a
  • SHA-256 Hash: eb55f36a430b6452ab4e880f890b1b5b9ef21593a61b2fb413ef5b1e02f8f1ee
  • SHA-1 Hash: b9bcc7a640979e8a907821b2c05f29328f4e8db3
  • MD5 Hash: b9fda92d2a6b881d01329b4e1d8fe313
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/15.6/aarch64/coq-devel-8.20.1-bp156.72.36.aarch64.rpm

Mirrors

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

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