Request by: baggins Files fetched: 1 STORED: http://pauillac.inria.fr/~ddr/camlp5/distrib/src/camlp5-6.12.tgz d49d30b62396b7285f3d609ac90c3fe5 camlp5-6.12.tgz Size: 716173 bytes ALREADY GOT: http://pauillac.inria.fr/~ddr/camlp5/doc/pdf/camlp5-6.00.pdf b241eabfeb48f22b0fbd3e497198a76a camlp5-6.00.pdf -- Virtually Yours: distfiles.