File information

  • Filename: minisat-2.2.1+20200902-bp154.1.51.src.rpm
  • Path: /source/distribution/openSUSE-current/repo/oss/src/minisat-2.2.1+20200902-bp154.1.51.src.rpm
  • Size: 56KiB (57010 bytes)
  • Last modified: 09-May-2022 09:04:10 (Unix timestamp: 1652087050)
  • SHA-512 Hash: e49d128ea5cf3486cd5d52e5244f04b55dd25c8563d4fa06d87a9cc92058e68b7dbcbddadcdd64a9183cf3525e546f6daa1a32af9f27e2034b38aabbeefce8b5
  • SHA-256 Hash: 876e6c5ec078cca6a411d36ae4490d5587cdb3742cb56d673156d7b85e47d2ce
  • SHA-1 Hash: c1b106dce26237884eed2c39c091330a0c6d52a1
  • MD5 Hash: 75ed43dbb0f05bc1281fd77ac762bcfa
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/source/distribution/leap/15.4/repo/oss/src/minisat-2.2.1+20200902-bp154.1.51.src.rpm

Mirrors

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

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