File information

  • Filename: coq-8.19.1-bp156.1.13.x86_64.rpm
  • Path: /distribution/leap/15.6/repo/oss/x86_64/coq-8.19.1-bp156.1.13.x86_64.rpm
  • Size: 87MiB (91101452 bytes)
  • Last modified: 13-May-2024 14:49:00 (Unix timestamp: 1715611740)
  • SHA-512 Hash: be11ff636c7d13bbf846031a00fe12e8871de5e88196edc51f5f0c08a9d072427225194fbb9e8a1ab124286ba6ca9b54d6ba02cef68902f646da46fc2ac5dfbc
  • SHA-256 Hash: b7784f4beb52956d2f99c476d1a4de198751c4be2a845341f7565f7d5eb6587d
  • SHA-1 Hash: cfd120becf9eae86fc272b3b24b379472c0bb7ed
  • MD5 Hash: 38d2253e9058d080537348878fd04c26
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/distribution/leap/15.6/repo/oss/x86_64/coq-8.19.1-bp156.1.13.x86_64.rpm

Mirrors

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

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