openSUSE download.opensuse.org 36712 93915ddbce4ff79a0075ebce59e63202 8d2802f9b159e043fb65b4208e083e272d167d5f 7136d46078f81e485b79c74bfbe254feca17fe0d2a316222cb4abec9d1ede2f8 c964a6a134dce4f0334ad076525963c3826a925d2a9e482b9f1ae05fc53ec0d4e1e3be9442200731d8105a6a773314cf0a3677cdb3ec38f3a5029731b2a027aa http://repo.ugm.ac.id/opensuse/distribution/leap/15.6/repo/oss/x86_64/minisat-devel-2.2.1%2B20200902-bp156.4.6.x86_64.rpm http://mirror.leitecastro.com/opensuse/distribution/leap/15.6/repo/oss/x86_64/minisat-devel-2.2.1%2B20200902-bp156.4.6.x86_64.rpm http://downloadcontentcdn.opensuse.org/distribution/leap/15.6/repo/oss/x86_64/minisat-devel-2.2.1+20200902-bp156.4.6.x86_64.rpm