Package: miredo

"miredo" package binaries on Debian:

/usr/bin/teredo-mire /usr/sbin/miredo-checkconf /usr/sbin/miredo

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