File information

  • Filename: coq-devel-8.13.2-bp155.2.13.x86_64.rpm
  • Path: /distribution/openSUSE-stable/repo/oss/x86_64/coq-devel-8.13.2-bp155.2.13.x86_64.rpm
  • Size: 18MiB (19014032 bytes)
  • Last modified: 22-May-2023 10:18:10 (Unix timestamp: 1684750690)
  • SHA-512 Hash: 35d9958a23a90fc0a64d9237d0be4b6738374de2a73ce2357f5a0176706845bf9c422ee404ab05b4fb31a2c8b43f577d8e842fd119e8a681a64acc65b8db1be2
  • SHA-256 Hash: 2623b8547476cf37b5ec058ce14ff3ad3e7eef7fb22bee5ca2355b0c6c9d6696
  • SHA-1 Hash: e3195c599d30a26038c530a0dc904486e9a4a75b
  • MD5 Hash: f2dc9be3b76b405fa5e807a258a3b566
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/distribution/leap/15.5/repo/oss/x86_64/coq-devel-8.13.2-bp155.2.13.x86_64.rpm

Mirrors

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

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