File information

  • Filename: coq-devel-8.20.0-bp156.70.23.x86_64.rpm
  • Path: /repositories/science/15.6/x86_64/coq-devel-8.20.0-bp156.70.23.x86_64.rpm
  • Size: 68MiB (71585984 bytes)
  • Last modified: 06-Dec-2024 20:55:00 (Unix timestamp: 1733518500)
  • SHA-512 Hash: e6c05f8a02b1e9b03595525f9d1a638bffaf6e9ad1cc5a24afc7f4052bbb554600b583eb11c7c6a30452dc0feea17ee5d8ab619e511892a656ac8949407ebda9
  • SHA-256 Hash: 62ce891d81f9304d9938d8f483cdbefb08ccdf4d26d669f31718a433e9bf7743
  • SHA-1 Hash: 1842a12e1f203f332489078afa064b0331f3bff4
  • MD5 Hash: 4e281ed38853b08e5b9baa31603617c6
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/15.6/x86_64/coq-devel-8.20.0-bp156.70.23.x86_64.rpm

Mirrors

List of best mirrors for IP address 140.248.79.83, 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