D/patches////
D/pkg////
/distinfo/1.25/Wed Jul 20 18:37:35 2011//
/Makefile/1.57/Sun Jul 24 15:00:27 2011//
/ghc.port.mk/1.24/Mon Jul 25 22:17:02 2011//
