D/patches////
D/pkg////
/distinfo/1.8/Thu Apr 29 18:40:08 2004//
/Makefile/1.17/Fri May 21 20:03:20 2004//
/ghc.port.mk/1.1/Tue Aug 10 08:14:35 2004//
