../ libghc-shake-data_0.13.2+dfsg-2_all.deb 03-Jul-2014 23:59 23228 libghc-shake-dev_0.13.2+dfsg-2+b1_armhf.deb 30-Aug-2014 22:48 1013898 libghc-shake-doc_0.13.2+dfsg-2_all.deb 03-Jul-2014 23:59 219438 libghc-shake-prof_0.13.2+dfsg-2+b1_armhf.deb 30-Aug-2014 22:48 977236