merged patches relating to GhcTags from #946
[ghc-hetmet.git] / libraries /
drwxr-xr-x   ..
-rw-r--r-- 13916 Makefile
-rw-r--r-- 3962 Makefile.common
-rw-r--r-- 148 Makefile.inc
-rw-r--r-- 656 Makefile.local
-rw-r--r-- 164 boot-packages
drwxr-xr-x - doc
-rw-r--r-- 169 extra-packages
-rw-r--r-- 1871 gen_contents_index
-rw-r--r-- 1066 ifBuildable.hs
-rw-r--r-- 6134 installPackage.hs
-rw-r--r-- 1111 libraries-footer.txt
-rw-r--r-- 80 libraries-header.txt