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