DISTFILES: camlp5: camlp5-6.02.3.tgz camlp5-6.00.pdf

baggins baggins at pld-linux.org
Mon Sep 26 12:04:09 CEST 2011

Previous message: DISTFILES: ghc: ghc-7.2.1-src.tar.bz2 ghc-7.2.1-i386-unknown-linux.tar.bz2 ghc-7.2.1-x86_64-unknown-linux.tar.bz2
Next message: packages: camlp5/camlp5.spec, camlp5/patch-6.02.2-1 (REMOVED), camlp5/patch...
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Files fetched: 1

STORED: http://pauillac.inria.fr/~ddr/camlp5/distrib/src/camlp5-6.02.3.tgz
	a4f5e0dc13c43d50eb655c8e929f556e  camlp5-6.02.3.tgz
	Size: 653958 bytes
ALREADY GOT: http://pauillac.inria.fr/~ddr/camlp5/doc/pdf/camlp5-6.00.pdf
	b241eabfeb48f22b0fbd3e497198a76a  camlp5-6.00.pdf


-- 
Virtually Yours: distfiles.

Previous message: DISTFILES: ghc: ghc-7.2.1-src.tar.bz2 ghc-7.2.1-i386-unknown-linux.tar.bz2 ghc-7.2.1-x86_64-unknown-linux.tar.bz2
Next message: packages: camlp5/camlp5.spec, camlp5/patch-6.02.2-1 (REMOVED), camlp5/patch...
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list