> I'm waiting for a set of packages to migrate to testing (see #870336). I am sorry, I did not realize that hol-light is blocking everything. I had a quick look and was able to fix it locally. I am trying to push a patch to the git repo soon. Hendrik