openSUSE download.opensuse.org 20123980 e24584aa5054c323aefb2a82fb80d331 d2e03e50f9de7d321e5ce953d7fa115109e00965 39044adb09948df860c4b797d247d2b821292c7d5be840505579cc14a443b9c2 0a41026480f6002927a9f99657495119277a4192d6d9a91a577eb0aafbb4da9b016af9dba0157aafb63b908ce23d3e13c2cf00bb894c8b64ea578cbe85c6c195 fa0508b07363964ac128f81fc4c38b4cf5dda972 15867aa99e3c6d6ec50c8b4862afa22277adc121 c61f10ff3b237b49fcb9afc831ebb42b5cfda294 cc8001da49ef34ae5e67cd73a5251188fd3c1353 e6db5ce8223c07aadfaa8185747bd755bc4fd5f9 4bc8ad32767b045f825123c2620bfdf8412d36f6 b49aa05ddf6baa9513f9e566813dbd3bf9c3734e 1ce6c9e8c492290df99adb0de857dee61c7bbcef 1100452e2092c5ecf64dbeadad23ad2027a74192 5248bdce116d753ccd3a7d19635d4c8f66365c05 f2d64a7f94be92abde099274c68a3b779ebb759e e0f723fc2f1d79c298e88d965f1caabc96bb8da5 c7ad7cc8fff716d0912172219899df125fd0c5f5 81854af9b8bf0a2c95660d7f2303b6affb73afdc 59753485514354aaad99ee2ac9388b8ddfea7469 1fc648b3134e124051e5ff6da4452dc61c635bc9 9cd8fa511c6e0ec3015081175034be682f49dbac 486ecdc5f99ef54639e431db99ceb69fda0f5d7e cda679ca054ed85bc1fb9523af04f116ec833179 ebde81532a7718b3052c49394c33958960be9cd8 http://mirror.leitecastro.com/opensuse/distribution/leap/15.6/repo/oss/s390x/coq-ide-8.19.1-bp156.1.13.s390x.rpm http://downloadcontentcdn.opensuse.org/distribution/leap/15.6/repo/oss/s390x/coq-ide-8.19.1-bp156.1.13.s390x.rpm