From that same site download libgnuradio-3_7_12-0_0_0-3.7.12.0-22.13.x86_64.rpm
Perform:
Code:
d3vnull@kvm:~/Downloads> rpm -qlp libgnuradio-3_7_12-0_0_0-3.7.12.0-22.13.x86_64.rpm |grep libgnuradio-pmt-3.7.12.0.so.0.0.0
warning: libgnuradio-3_7_12-0_0_0-3.7.12.0-22.13.x86_64.rpm: Header V3 RSA/SHA256 Signature, key ID ec77fd83: NOKEY
/usr/lib64/libgnuradio-pmt-3.7.12.0.so.0.0.0
d3vnull@kvm:~/Downloads>
Leap 42.3 by default:
Code:
kvm:~ # zypper search --provides libgnuradio
Loading repository data...
Reading installed packages...
S | Name | Summary | Type
---+--------------------------+-------------------------+--------
| libgnuradio-3_7_10-0_0_0 | Libraries for GNU Radio | package
i+ | openSUSE-release | openSUSE Leap 42.3 | package
kvm:~ #