UPDATE: após algumas horas, nova tentativa com sucesso.
Provavelmente alguma dependência não atualizada e entretanto resolvida pelos developers.
Mas…são as vicissitudes de usar #debiansid

Obrigado @madcap pelo boost :blobcatfingergun: