Le 20/11/2024 à 19:08, didier gaumet a écrit : désolé, j'en ai oublié un bout en chemin. Donc:
[...]
la page du wiki Debian sur apt-src (je suppose que c'est applicable à Mint):
https://wiki.debian.org/apt-srcce qui te permettrait aussi te conserver ton option --with-guile lors des upgrades de gdb, (explications dans la page du wiki)
