D/patches////
D/pkg////
/Makefile/1.24/Wed Jul 25 17:05:13 2007//
/distinfo/1.13/Wed Jul 25 17:05:13 2007//
/ghc.port.mk/1.6/Wed Jul 25 17:05:13 2007//
D/files////
