File information

  • Filename: minisat-2.2.1+20230206-1.3.src.rpm
  • Path: /ports/aarch64/source/tumbleweed/repo/oss/src/minisat-2.2.1+20230206-1.3.src.rpm
  • Size: 65KiB (66786 bytes)
  • Last modified: 27-Feb-2026 21:47:00 (Unix timestamp: 1772228820)
  • SHA-512 Hash: 714049132099601d3051c8fb7bf64a8c6b6a83810ccd31c81db4fc44e136a13ba8de021de905b9810e0484149470161999ffa0a179949324c76b65bf77fd4923
  • SHA-256 Hash: f61618838497d894a0f4d91a95e02aa8eb373cc0846cdc9fbfc692a0ce12d6be
  • SHA-1 Hash: 05f1462928c928352ac7b076a7810ad7c52214cc
  • MD5 Hash: 49141c0cbb6612a7b8535d4f827d9d1d
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/ports/aarch64/source/tumbleweed/repo/oss/src/minisat-2.2.1+20230206-1.3.src.rpm

Mirrors

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

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