openSUSE download.opensuse.org 25284 3731e8ac4a4457ea7db11fdaf8639c86 4a9285b4f61a1453b82857b660cf3e3b237ade8a acf3b5a1b56639b11d51f14d1577ef2fe04d525e0001c5e7cfddb092e85c146f 62b1583dcf00d2671500b9308854145c71dda267b8d712338a71cfe7c619db96f52b85b7f27525b43e5112bd0246cfa20f46f3dcf0c16d5e2d59dc7a2e828a7b http://mirror.leitecastro.com/opensuse/distribution/leap/15.6/repo/oss/ppc64le/minisat-2.2.1%2B20200902-bp156.4.6.ppc64le.rpm http://downloadcontentcdn.opensuse.org/distribution/leap/15.6/repo/oss/ppc64le/minisat-2.2.1+20200902-bp156.4.6.ppc64le.rpm