--- Portfile.dist	2007-01-01 11:45:53.000000000 +0900
+++ Portfile	2007-01-01 12:15:32.000000000 +0900
@@ -2,7 +2,7 @@
 
 PortSystem 1.0
 name		hat
-version		2.04
+version		2.05
 revision	3
 categories	devel
 maintainers	gwright@opendarwin.org
@@ -24,10 +24,7 @@
 homepage	http://www.cs.york.ac.uk/fp/hat/
 master_sites	${homepage}
 
-checksums	md5 11515d25ed8c760bfe1238fad36ad18f
-
-patchfiles	patch-confhc-hat	\
-		patch-hat.cabal
+checksums	md5 027a74fe438f51529bc781d4dfc8ff40
 
 depends_build	bin:ghc:ghc \
 		bin:hmake:hmake
@@ -48,7 +45,6 @@
 post-destroot	{ file delete ${destroot}/${prefix}/bin/harch }
 
 post-activate	{ set ghcversion [ exec ghc --version | sed "s|^.*version ||" ]
-		  system "ranlib ${prefix}/lib/ghc-${ghcversion}/libHShat.a"
 
 		  reinplace "s|${destroot}${prefix}|${prefix}|g" ${prefix}/lib/ghc-${ghcversion}/package.conf