[project @ 1999-01-21 10:30:24 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