Package: libvolk-bin

"libvolk-bin" package binaries on Debian:

/usr/bin/volk-config-info /usr/bin/volk_modtool /usr/bin/volk_profile

You may install this package on Debian with apt-get install libvolk-bin