Hi, I Rattan <ratta1i@cps.cmich.edu> writes: > what debian package may include these header files? You can search which packages include a given file using apt-file. Regards, Ansgar