Package: arduino-mk

"arduino-mk" package binaries on Debian:

/usr/bin/ard-reset-arduino

You may install this package on Debian with apt-get install arduino-mk