Hi Mechtilde, Le 07/07/2019 à 18:45, Mechtilde Stehmann a écrit : > Or where should I look for a solution? If you don't absolutely need an official Debian package but just a .deb that you distribute yourself I recommend using jdeb (https://github.com/tcurdt/jdeb). Emmanuel Bourg