Package: debian-edu-config Version: 1.947 Severity: normal hi, $ dpkg --contents debian-edu-config_1.947_all.deb|grep 1.gz -rw-r--r-- root/root 392 2018-01-21 17:29 ./usr/share/man/man1/.1.gz -rw-r--r-- root/root 392 2018-01-21 17:29 ./usr/share/man/man1/update-ini-file.1.gz this can also be seen with apt-file but strangely not on https://packages.debian.org/sid/all/debian-edu-config/filelist (the latter might be a seperate bug against debian-www) -- cheers, Holger
Attachment:
signature.asc
Description: PGP signature