openSUSE download.opensuse.org 36712 4a6f97bec144433a6cf81ea2fc4495da abcaecf8c21c28dca04b35ea421b376516c12d5f c2adbe8c1aecc2aae08e0e5cbf88e6ece3f754f3f124d1b70c3aff609029c959 a8470ed78c949d4bdb384f1615592b29994d40f62b39141cec33076368624d3a59ce41f72e5430ba5e7a6dea1bb4e143e383afcf0ee5237ef4224b3f85601bb5 http://repo.ugm.ac.id/opensuse/distribution/leap/15.6/repo/oss/s390x/minisat-devel-2.2.1%2B20200902-bp156.4.6.s390x.rpm http://mirror.leitecastro.com/opensuse/distribution/leap/15.6/repo/oss/s390x/minisat-devel-2.2.1%2B20200902-bp156.4.6.s390x.rpm http://downloadcontentcdn.opensuse.org/distribution/leap/15.6/repo/oss/s390x/minisat-devel-2.2.1+20200902-bp156.4.6.s390x.rpm