D/patches////
D/pkg////
/ghc.port.mk/1.35/Fri Jan  2 08:38:20 2015//
/distinfo/1.36/Wed Jun 24 07:43:25 2015//
/Makefile/1.118/Thu Jun 25 17:38:45 2015//
