I wrote: > I had to do it by hand with > dpkg -i --force-depends but of course it didn't work in order to have it accessible by 3.11.1, while recompiling from debian sources did. I had the same problem with package lablgtkmathview and had to do the same (my goal was to compile matita from svn). Please just ignore if you already knew this problem. Regards, Matteo