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

bigintm → libpolys Relation

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