New repository for the NAV Debian package