My Project  debian-1:4.1.1-p2+ds-4build2

bigintm → libpolys Relation

File in Singular/dyn_modules/bigintmIncludes file in libpolys
bigintm.cccoeffs / coeffs.h