/usr/bin/autopvf
/usr/bin/basictopvf
/usr/bin/lintopvf
/usr/bin/pvfamp
/usr/bin/pvfcut
/usr/bin/pvfecho
/usr/bin/pvffft
/usr/bin/pvffile
/usr/bin/pvffilter
/usr/bin/pvfmix
/usr/bin/pvfnoise
/usr/bin/pvfreverse
/usr/bin/pvfsine
/usr/bin/pvfspeed
/usr/bin/pvftoau
/usr/bin/pvftobasic
/usr/bin/pvftolin
/usr/bin/pvftormd
/usr/bin/pvftovoc
/usr/bin/pvftowav
/usr/bin/rmdfile
/usr/bin/rmdtopvf
/usr/bin/voctopvf
/usr/bin/wavtopvf
You may install this package on Debian with
apt-get
install mgetty-pvftools