My Project  UNKNOWN_GIT_VERSION

interval → kernel Relation

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