Ron Peterson <rpeterso@mtholyoke.edu> wrote: >What is 'pool'? The Debian FAQ refers to doc/, project/, tools, etc. >but makes no mention of pool/. I've submitted a FAQ update for this. See <URL:http://bugs.debian.org/89320>. >I've searched the debian-user archive for 'pool', and only found >incidental reference to it. You wouldn't find much reference to it here. Try debian-devel-announce or debian-devel instead. Cheers, -- Colin Watson [cjw44@flatline.org.uk]