File information

  • Filename: coq-doc-8.20.1-bp156.72.36.noarch.rpm
  • Path: /repositories/science/15.6/noarch/coq-doc-8.20.1-bp156.72.36.noarch.rpm
  • Size: 6.4MiB (6703504 bytes)
  • Last modified: 19-Jun-2025 18:43:00 (Unix timestamp: 1750358580)
  • SHA-512 Hash: 03deaf2d544f99d876a91fc9e7d47461314943d983ee2ef3d546d1837b52787689c948cd722a7abbb1e9245582098426cd97e31d98d7f172fff0077597392431
  • SHA-256 Hash: 9b6d3a02cd21791ce0c18df87414f9d4a76cb285681d3db8f3e6bf097d2a3234
  • SHA-1 Hash: c7076b2500d5a04c351d45eeb12f9d71f5afb279
  • MD5 Hash: bba7a88344a618ecbef21b7508e15433
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/15.6/noarch/coq-doc-8.20.1-bp156.72.36.noarch.rpm

Mirrors

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