D/patches////
D/pkg////
/distinfo/1.13/Wed Jul 25 17:05:13 2007//
/ghc.port.mk/1.6/Wed Jul 25 17:05:13 2007//
D/files////
/Makefile/1.25/Fri Nov  2 04:21:03 2007//
