[project @ 1999-01-19 17:06:02 by simonm]
[ghc.git] / distrib /
drwxr-xr-x   ..
-rw-r--r-- 4083 INSTALL
-rw-r--r-- 10323 Makefile-bin.in
-rw-r--r-- 3182 configure-bin.in