I've run "sudo apt-file update", and run it regularly. The file it uses doesn't often get updated though, so I guess that's the problem.
I've run "sudo apt-file update", and run it regularly. The file it uses doesn't often get updated though, so I guess that's the problem.