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.26/Sun Jul 20 23:20:51 2008//
