openSUSE download.opensuse.org 20216988 82422e2bbe0908c408bc6f45f108b7fb eab7d737067d34b339fa7e5aa83cf8502afef74d eb1f3827eea52d61a4ea4005e756b29999debc7a642878fe627ae1719da5f425 585c540f9ecb7e314ec64018c94ab07b402f51644627385b9ccc4523d2aea96983a2076e7d9110b44406b78069283d663923f589dc33012345fbe250df49def9 f9acf6fa177d96dc399d1e9726a361ff221620a9 4dfa792e9edf5edfc25395d0a850ad023393b4b9 39883728c38c432cd623f25c812c92334c45a611 56c57545f024817926a73fcc989e4e40a7d561c4 32548a2b9040c148f511b8fb02e4f14b4e0a94ad aa9a0fff7ac9716c58133bbd13d6b6d1bef8a1d1 a89277fc6de94e8f8cb054cd15995f5cf6947929 63dea1ad2f180b1ccbd5c3130ec375227f2808fd b77374c976e0df4891664e76bcf831eb26b67f05 0d253cfebcadebd9c6c11336459bf0587ff51ec3 aeb0fc668ea8377fc20653e6e5c87967146ac02c 06af60d2717a6f9c0c94901b13e4e59ff53e0512 cc09cae3382d3334e8fb6da01857f05eb05d07bb 6ff6cbc7446e04f240690d670f64769adf25a04a d1ffb504aff4e2489767f02325bc8a5ab00e40dd 13ff465dd014b0e527fc0f72593a65d4d006e54c db6beb67df50ad589d452d4b48af5d0b9950b214 83993dff47449b4bc27e6c2dcb24d813e5827230 decd883c9d848df532d2e1469c756db68f13c41f f5f52670c5791f5d4cd85c6168ae22504f6c68b2 http://repo.ugm.ac.id/opensuse/distribution/leap/15.6/repo/oss/x86_64/coq-ide-8.19.1-bp156.1.10.x86_64.rpm http://downloadcontentcdn.opensuse.org/distribution/leap/15.6/repo/oss/x86_64/coq-ide-8.19.1-bp156.1.10.x86_64.rpm