/usr/bin/gwhy-bin
/usr/bin/gwhy
/usr/bin/jessie
/usr/bin/krakatoa
/usr/bin/rv_merge
/usr/bin/simplify2why
/usr/bin/tool-stat
/usr/bin/why2html
/usr/bin/why-config
/usr/bin/why-cpulimit
/usr/bin/why
/usr/bin/why-dp
/usr/bin/why-obfuscator
/usr/bin/why-stat
You may install this package on Debian with
apt-get
install why