Many thanks for your advices.
Will apt sooner or later provide similar functionality to apt-file?
So that the development would become more integrated/consistent.
In a first approach I tried using 'dpkg-query -W' but found 'apt list' more
direct for purposes. How can I get also the release of the installed package: no
way with 'dpkg-query -W -f '${Package} ${Release} ${Architecture} ${Status}\n'?
And with the version instead, I have then to know which release provides it.
By the way, dpkg-query(1) manpage cites 'Origin' as a possible field but it
seems always empty on my system.
Maybe I should go back then to this first approach.
Patrice
