Re: vieux profileur prof ?

[Olivier Humbert]

Bonjour


Le 2023-03-23 09:10, Basile Starynkevitch a écrit :

Quel est le paquet Debian qui installe l'utilitaire prof ...

https://www.debian.org/distrib/packages#search_contents

Bonne journée