D/patches////
D/pkg////
/Makefile/1.102/Sun Jul 21 17:19:36 2013//
/distinfo/1.31/Sun Jul 21 17:19:36 2013//
/ghc.port.mk/1.30/Sun Jul 21 17:19:36 2013//
