../ libghc-shake-data_0.15.10+dfsg-2_all.deb 28-Oct-2016 18:27 28828 libghc-shake-dev_0.15.10+dfsg-2_armhf.deb 02-Dec-2016 03:08 1356474 libghc-shake-doc_0.15.10+dfsg-2_all.deb 28-Oct-2016 18:27 297872 libghc-shake-prof_0.15.10+dfsg-2_armhf.deb 02-Dec-2016 03:08 1174748