/usr/bin/gif2hdf
/usr/bin/h4cc
/usr/bin/h4fc
/usr/bin/h4redeploy
/usr/bin/hdf24to8
/usr/bin/hdf2gif
/usr/bin/hdf2jpeg
/usr/bin/hdf8to24
/usr/bin/hdfcomp
/usr/bin/hdfed
/usr/bin/hdfimport
/usr/bin/hdfls
/usr/bin/hdfpack
/usr/bin/hdftopal
/usr/bin/hdftor8
/usr/bin/hdfunpac
/usr/bin/hdiff
/usr/bin/hdp
/usr/bin/hrepack
/usr/bin/jpeg2hdf
/usr/bin/ncdump-hdf
/usr/bin/ncgen-hdf
/usr/bin/paltohdf
/usr/bin/r8tohdf
/usr/bin/ristosds
/usr/bin/vmake
/usr/bin/vshow
You may install this package on Debian with
apt-get
install hdf4-tools