Debian package depending on osmgpsmap >= 1.0.2