commit 44dff8c1ee8484ce84939b347c94724181410d9c Author: Samuel Thibault <samuel.thibault@ens-lyon.org> Date: Sun Mar 2 19:24:06 2025 +0100 rules: Explicitly disable the pico module So dh_install doesn't complain that we do not install it if we happen to have the build dependency.
Among the 3 debian patches available in version 0.12.0-2 of the package, we noticed the following issues: