Binary: drmips

Debian packages that has this binary:

Package: drmips

/usr/bin/drmips