My Project  debian-1:4.1.2-p1+ds-2

bigintm → libpolys Relation

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