Bastian Blank, le jeu. 18 juin 2020 21:19:01 +0200, a ecrit: > So installing [mig] by default, by virtue of being defined with > priority "standard", is not appropriate. Oh! I don't it was ever intended. I'm actually surprised the discrepancy on the mig package was never noticed. > I've overriden the priority already to "optional". Please fix the > package itself. Yep, sure! Done so in the repo for next upload. Samuel