Current: /usr/share/man/fr/man1/dpkg-deb.1.gz

New name: