openSUSE download.opensuse.org 36736 9579b1f64fefc41f1f4c9e20dacdb6db ba5a645959eda37e51185ae0da280d5838bcdc7d 1f6f7261ec9c7f12ad787645cc2b7e2997acd39237886dd539aec83643e19aff 9cbbb5c69b9583e4a38736d231ad6601526107ed8369e80f5b3625a403873e6cf92ef8f02628b19fdb9668ad33124d0ff1d389cc1d133aed423a4975ea378563 http://mirror.leitecastro.com/opensuse/distribution/leap/15.6/repo/oss/ppc64le/minisat-devel-2.2.1%2B20200902-bp156.4.6.ppc64le.rpm http://downloadcontentcdn.opensuse.org/distribution/leap/15.6/repo/oss/ppc64le/minisat-devel-2.2.1+20200902-bp156.4.6.ppc64le.rpm