[project @ 1998-02-07 13:10:58 by sof]
[ghc-hetmet.git] / distrib /
drwxr-xr-x   ..
-rw-r--r-- 3028 INSTALL
-rw-r--r-- 10146 Makefile-bin.in
-rw-r--r-- 3105 configure-bin.in