Package: axiom-hypertex

"axiom-hypertex" package binaries on Debian:

/usr/lib/axiom-20140801/bin/htadd /usr/lib/axiom-20140801/bin/htsearch /usr/lib/axiom-20140801/bin/hypertex

You may install this package on Debian with apt-get install axiom-hypertex