../ ghc-doc_8.0.1-17+rpi1_all.deb 30-Dec-2016 22:08 11200684 ghc-prof_8.0.1-17+rpi1_armhf.deb 30-Dec-2016 22:08 48444262 ghc_8.0.1-17+rpi1_armhf.deb 30-Dec-2016 22:08 65643042