/Makefile/1.159/Fri Mar 30 23:16:59 2018//
/distinfo/1.51/Fri Mar 30 23:16:59 2018//
/ghc.port.mk/1.42/Mon Jan 22 00:42:30 2018//
D/files////
D/patches////
D/pkg////
