tags 825222 + moreinfo thanks Hi Paul, > Consider [.ppu foles] sort of binary header files. […] I intend to > store those timestamps in debian/source/timestamps. Why not debian/timestamps? In a de facto sense, it seems like debian/source is "reserved" for the dpkg source format. Regards, -- ,''`. : :' : Chris Lamb `. `'` lamby@debian.org / chris-lamb.co.uk `-