Comment 2 for bug 39130

Revision history for this message
Michael Vogt (mvo) wrote :

For packages that are not installed you can install apt-file that will do what you need.