Here is sources for debian packaging for teensy-loader-cli (Programmer with command line interface for teensy from PJRC).
Teensy is product from PJRC. This package is based on code from their site.
Pre build packages can be found at http://deb.n-1.fi