../ libghc-semigroupoids-dev_4.0-1build3_amd64.deb 26-Dec-2013 19:58 186980 libghc-semigroupoids-doc_4.0-1build3_all.deb 26-Dec-2013 19:58 61940 libghc-semigroupoids-prof_4.0-1build3_amd64.deb 26-Dec-2013 19:58 217886