[Pkg-privacy-maintainers] Bug#903117: tails-installer: Mistakes in packages.debian.org list of files?

[u]

Kenichiro MATOHARA:

First of all, I think my previous reply did not address your findings
correctly. Good news though: I've had a closer look at this issue today.

> I was operating while looking at the Tails page.
> 
>> Start Tails Installer:
>>   tails-installer-launcher
> https://tails.boum.org/install/expert/usb/index.en.html

I've fixed this in the Tails documentation.
Thanks for noticing!

> When trying to start up with tails-installer-launcher, this command was not found.
> tails-installer existed.

Correct.

Tails previously called the tails-installer-launcher executable, because
calling tails-installer directly did not provide the possibility to give
a device on the command line. This was dropped with commit
799b272ea9c1eff3e200476bc291ab9fbaca9003.

> The list of files on packages.debian.org is tails-installer-launcher.
> 
>> $ w3m -dump https://packages.debian.org/stretch-backports/amd64/tails-installer/filelist|grep bin
>> /usr/bin/tails-installer-launcher
>> $ w3m -dump https://packages.debian.org/buster/amd64/tails-installer/filelist|grep bin
>> /usr/bin/tails-installer-launcher
>> $ w3m -dump https://packages.debian.org/sid/amd64/tails-installer/filelist|grep bin
>> /usr/bin/tails-installer-launcher

> I think that tails-installer is correct, so in that case can I fix it?

When I locally execute
   dpkg -L tails-installer
I correctly get:
   /usr/bin/tails-installer

Now, indeed, as you mentioned, "packages.debian.org" shows something
else in the file list. However, I believe this must rather be a bug
related to packages.debian.org, and seems unrelated to the packaging.

If you agree, I think we should reassign this bug to packages.debian.org
or simply close it. But maybe I miss something?

Cheers!
u.