Manpages of libgps-dev in Debian buster-backports