/usr/bin/db5.1_archive
/usr/bin/db5.1_checkpoint
/usr/bin/db5.1_deadlock
/usr/bin/db5.1_dump
/usr/bin/db5.1_hotbackup
/usr/bin/db5.1_load
/usr/bin/db5.1_log_verify
/usr/bin/db5.1_printlog
/usr/bin/db5.1_recover
/usr/bin/db5.1_replicate
/usr/bin/db5.1_stat
/usr/bin/db5.1_upgrade
/usr/bin/db5.1_verify
You may install this package on Debian with
apt-get
install db5.1-util