Re: le paquet pump chez Debian existe t'il encore

[hamster]

Le 03/05/2020 à 15:44, MERLIN Philippe a écrit :
> et là je n'ai plus vu de paquet pump opérationnel

Dans jessie et dans sid :
https://packages.debian.org/search?keywords=pump&searchon=names&suite=all&section=all&sourceid=mozilla-search