Hi, a colleague asked me whether Debian supports Next Generation POSIX Threading. Do you know? Thanks in advance!