[project @ 1999-07-14 15:28:08 by simonmar]
[ghc-hetmet.git] / distrib /
drwxr-xr-x   ..
-rw-r--r-- 3215 INSTALL
-rw-r--r-- 10444 Makefile-bin.in
-rw-r--r-- 3182 configure-bin.in