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

bigintm → kernel Relation

File in Singular/dyn_modules/bigintmIncludes file in kernel
bigintm.ccmod2.h
mod_main.ccmod2.h