D/patches////
D/pkg////
/ghc.port.mk/1.24/Mon Jul 25 22:17:02 2011//
/Makefile/1.70/Tue Jul 17 23:20:54 2012//
/distinfo/1.28/Tue Jul 17 23:20:54 2012//
