No, I haven't, because no pointers in the documentation or any Google search turned up this pearl (or I was too stupid to see it). It's looking very helpful though (although a bit too late for me).
apt-cache search <blah, blah, blah>
apt-cache search mafw apt-cache search rtcom apt-cache search gles apt-cache search tele apt-cache search mafw | grep "\-dev" apt-cache search rtcom | grep "\-dev" apt-cache search tele | grep "\-dev"
dpkg -l | grep -i "<blah, blah, blah>"
dpkg -L <package name> dpkg -e <deb file> dpkg -x <deb file> .