package: www.debian.org Hi, I've filed this as #887990 (against debian-edu-config) and now I'm filing this bug against www.debian.org as https://packages.debian.org/sid/all/debian-edu-config/filelist should show all files... On Mon, Jan 22, 2018 at 12:53:59PM +0100, Holger Levsen wrote: > 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