Package: dvorak7min

"dvorak7min" package binaries on Debian:

/usr/bin/dvorak7min

You may install this package on Debian with apt-get install dvorak7min