openSUSE download.opensuse.org 24612 3f0ce52e8f68b9ba976a840bc7b70a3a 4aa9a7e8015ba9cb57baa6d8fba3078b4e386871 c6fa2518878f22b0d8b882d6af2fe651795d7ccb84c41b44536844afebab0ef4 9efc911941f342a0c1feaa8e841cef3bc0c5adeb9e1e3c6366cf0e39d8ea2e58b4a4a3d5c9d8bd430ad48d0abf7ce16dca3e8124dbe087412d9f854fc1cd30b7 http://mirror.kakao.com/opensuse/distribution/leap/15.6/repo/oss/x86_64/minisat-2.2.1%2B20200902-bp156.4.7.x86_64.rpm http://mirror.nyist.edu.cn/opensuse/distribution/leap/15.6/repo/oss/x86_64/minisat-2.2.1%2B20200902-bp156.4.7.x86_64.rpm http://ftp.riken.jp/Linux/opensuse/distribution/leap/15.6/repo/oss/x86_64/minisat-2.2.1%2B20200902-bp156.4.7.x86_64.rpm http://ftp.kddilabs.jp/Linux/packages/opensuse/distribution/leap/15.6/repo/oss/x86_64/minisat-2.2.1%2B20200902-bp156.4.7.x86_64.rpm http://ftp.jaist.ac.jp/pub/Linux/openSUSE/distribution/leap/15.6/repo/oss/x86_64/minisat-2.2.1%2B20200902-bp156.4.7.x86_64.rpm http://mirrors.ustc.edu.cn/opensuse/distribution/leap/15.6/repo/oss/x86_64/minisat-2.2.1%2B20200902-bp156.4.7.x86_64.rpm http://mirrors.nju.edu.cn/opensuse/distribution/leap/15.6/repo/oss/x86_64/minisat-2.2.1%2B20200902-bp156.4.7.x86_64.rpm http://mirrors.tuna.tsinghua.edu.cn/opensuse/distribution/leap/15.6/repo/oss/x86_64/minisat-2.2.1%2B20200902-bp156.4.7.x86_64.rpm http://free.nchc.org.tw/opensuse/distribution/leap/15.6/repo/oss/x86_64/minisat-2.2.1%2B20200902-bp156.4.7.x86_64.rpm http://mirrors.bfsu.edu.cn/opensuse/distribution/leap/15.6/repo/oss/x86_64/minisat-2.2.1%2B20200902-bp156.4.7.x86_64.rpm