openSUSE download.opensuse.org 23168 7acc439df346df52e5e7182b0d6eec31 f500f10189253759c1f44400689cff91bbe4f347 da43c5526e6c4afc24cf3f4e8fd0d5d697f0e7a015897694d95022344136027c a084b8f4f24cf722af45ba32c072d3a467650f25d2f3a73ca0b1eef6e11efbc27ce459dbd52712df2616f351fa32d79f13d168e34aab8e5a696f2086b687821a https://mirror.kakao.com/opensuse/distribution/leap/16.0/repo/oss/x86_64/minisat-2.2.1%2B20200902-bp160.1.13.x86_64.rpm https://mirrors.bfsu.edu.cn/opensuse/distribution/leap/16.0/repo/oss/x86_64/minisat-2.2.1%2B20200902-bp160.1.13.x86_64.rpm https://mirror.nyist.edu.cn/opensuse/distribution/leap/16.0/repo/oss/x86_64/minisat-2.2.1%2B20200902-bp160.1.13.x86_64.rpm https://ftp.riken.jp/Linux/opensuse/distribution/leap/16.0/repo/oss/x86_64/minisat-2.2.1%2B20200902-bp160.1.13.x86_64.rpm https://mirrors.nju.edu.cn/opensuse/distribution/leap/16.0/repo/oss/x86_64/minisat-2.2.1%2B20200902-bp160.1.13.x86_64.rpm https://mirrors.tuna.tsinghua.edu.cn/opensuse/distribution/leap/16.0/repo/oss/x86_64/minisat-2.2.1%2B20200902-bp160.1.13.x86_64.rpm https://mirror.sjtu.edu.cn/opensuse/distribution/leap/16.0/repo/oss/x86_64/minisat-2.2.1%2B20200902-bp160.1.13.x86_64.rpm https://free.nchc.org.tw/opensuse/distribution/leap/16.0/repo/oss/x86_64/minisat-2.2.1%2B20200902-bp160.1.13.x86_64.rpm https://mirror.freedif.org/opensuse/distribution/leap/16.0/repo/oss/x86_64/minisat-2.2.1%2B20200902-bp160.1.13.x86_64.rpm https://ftp.jaist.ac.jp/pub/Linux/openSUSE/distribution/leap/16.0/repo/oss/x86_64/minisat-2.2.1%2B20200902-bp160.1.13.x86_64.rpm