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

interval → kernel Relation

File in Singular/dyn_modules/intervalIncludes file in kernel
interval.ccmod2.h