openSUSE download.opensuse.org 153480 66b791e0f88b594c5a4c172a9ef060ec 4841aa146594cd15f2dfe5c01bf609fde26e31d2 cb385fbfba62311580d2498c7376e346fdfd5afca46b9500f13b5fb6bf8d4f24 4302f94c3a16808acf1f3aa522363cb4bcad98315bea9c564300da83e739378f2541274867d9e550898af8911f2542fdad0a38eee55b56bb582b531a062f422d http://mirror.leitecastro.com/opensuse/distribution/leap/15.6/repo/oss/ppc64le/z3-devel-4.12.2-bp156.1.5.ppc64le.rpm http://downloadcontentcdn.opensuse.org/distribution/leap/15.6/repo/oss/ppc64le/z3-devel-4.12.2-bp156.1.5.ppc64le.rpm