download.fedora.redhat.com/pub/fedora/linux/development/rawhide/Everything/x86_64/debug/tree/Packages/y :
yices-debuginfo-2.6.1-4.fc32.i686.rpm
yices-debuginfo-2.6.1-4.fc32.x86_64.rpm
yices-debugsource-2.6.1-4.fc32.i686.rpm
yices-debugsource-2.6.1-4.fc32.x86_64.rpm
yices-tools-debuginfo-2.6.1-4.fc32.x86_64.rpm