[project @ 2000-04-10 16:02:58 by simonpj]
[ghc-hetmet.git] / distrib /
drwxr-xr-x   ..
-rw-r--r-- 3215 INSTALL
-rw-r--r-- 8831 Makefile-bin.in
-rw-r--r-- 3607 configure-bin.in