/Makefile/1.107/Thu Dec 12 22:13:37 2013//
/distinfo/1.32/Fri Aug 16 13:40:49 2013//
D/patches////
D/pkg////
/ghc.port.mk/1.33/Fri Jun 20 07:12:44 2014//
