Hi Luca, > libpolybori-groebner-0.8-3 depends on missing libm4ri. > I guess you just want to drop it and let ${shlibs:Depends} > do the magic to add the correct dependency. Yes, indeed, this was meant that way. @Fred I've fixed that in the alioth repository. Best regards, Alexander