openSUSE download.opensuse.org 36740 5102d9091fb9e12bd8c490e953dcec4a d391cc38cbdb1d6e1bee04f673364593ab4155d9 346250cd44d05fe0153154778b3570d65e4245d394f106eb9668ca2228294d36 854349f3a59c7f323823b65b92f69f2a318b19eeab0c3adfae825953dfc1c2acb34dcaca1c31abc387323748d01a229f26592adcca5e509882691dd8ba982cfe http://mirror.kakao.com/opensuse/distribution/leap/15.6/repo/oss/ppc64le/minisat-devel-2.2.1%2B20200902-bp156.4.7.ppc64le.rpm http://mirror.nyist.edu.cn/opensuse/distribution/leap/15.6/repo/oss/ppc64le/minisat-devel-2.2.1%2B20200902-bp156.4.7.ppc64le.rpm http://ftp.riken.jp/Linux/opensuse/distribution/leap/15.6/repo/oss/ppc64le/minisat-devel-2.2.1%2B20200902-bp156.4.7.ppc64le.rpm http://ftp.kddilabs.jp/Linux/packages/opensuse/distribution/leap/15.6/repo/oss/ppc64le/minisat-devel-2.2.1%2B20200902-bp156.4.7.ppc64le.rpm http://mirrors.ustc.edu.cn/opensuse/distribution/leap/15.6/repo/oss/ppc64le/minisat-devel-2.2.1%2B20200902-bp156.4.7.ppc64le.rpm http://mirrors.tuna.tsinghua.edu.cn/opensuse/distribution/leap/15.6/repo/oss/ppc64le/minisat-devel-2.2.1%2B20200902-bp156.4.7.ppc64le.rpm http://mirrors.nju.edu.cn/opensuse/distribution/leap/15.6/repo/oss/ppc64le/minisat-devel-2.2.1%2B20200902-bp156.4.7.ppc64le.rpm http://free.nchc.org.tw/opensuse/distribution/leap/15.6/repo/oss/ppc64le/minisat-devel-2.2.1%2B20200902-bp156.4.7.ppc64le.rpm http://mirror.freedif.org/opensuse/distribution/leap/15.6/repo/oss/ppc64le/minisat-devel-2.2.1%2B20200902-bp156.4.7.ppc64le.rpm http://mirrors.163.com/openSUSE/distribution/leap/15.6/repo/oss/ppc64le/minisat-devel-2.2.1%2B20200902-bp156.4.7.ppc64le.rpm