Yes, it's on the catalogue.tableteer.nokia.com repository so reinstalling it should be just a matter of running "apt-get install map". In fact I would recommend doing that now, and saving a copy of the deb (you'll find it in /var/cache/apt/archives/) because there are no guarantees that the nokia repository is going to stay up indefinitely.