../ ghc6_6.12.1-13.debian.tar.gz 17-Aug-2012 12:12 44445 ghc6_6.12.1-13.dsc 17-Aug-2012 12:12 1235 ghc6_6.12.1.orig.tar.gz 17-Aug-2012 12:12 23690470