557a22a232537c700dba98d1c7d4456e0d0a9442
-rw-r--r-- 7369 Makefile
-rw-r--r-- 3962 Makefile.common
-rw-r--r-- 148 Makefile.inc
-rw-r--r-- 67 core-packages
drwxr-xr-x - doc
-rw-r--r-- 160 extra-packages
-rw-r--r-- 1419 gen_contents_index
-rw-r--r-- 1510 ifBuildable.hs
-rw-r--r-- 1111 libraries-footer.txt
-rw-r--r-- 80 libraries-header.txt
drwxr-xr-x - mk