Package: libtntnet-dev

"libtntnet-dev" package binaries on Debian:

/usr/bin/ecppc /usr/bin/ecppl /usr/bin/ecppll /usr/bin/tntnet-config

You may install this package on Debian with apt-get install libtntnet-dev