/Makefile/1.157/Fri Feb  9 10:09:44 2018//
/distinfo/1.50/Mon Jan 22 00:42:30 2018//
/ghc.port.mk/1.42/Mon Jan 22 00:42:30 2018//
D/files////
D/patches////
D/pkg////
