File coq-8.19.1-1.1.i586.rpm is obsolete. Try find newer coq for openSUSE Tumbleweed