More spacing in header
-rw-r--r-- 1444 Debian.hs
-rw-r--r-- 1329 HTMLOutput.hs
-rw-r--r-- 464 Hackage.hs
-rw-r--r-- 2559 Index.hs
-rw-r--r-- 2063 Main.hs
-rw-r--r-- 378 MaybeRead.hs
-rw-r--r-- 3281 PlatformOutput.hs
-rw-r--r-- 739 Types.hs
-rw-r--r-- 1008 Utils.hs
-rw-r--r-- 853 runhpvt.sh