../ libghc-semigroupoids-dev_5.1-2_armhf.deb 03-Dec-2016 10:08 347800 libghc-semigroupoids-doc_5.1-2_all.deb 30-Oct-2016 13:56 101470 libghc-semigroupoids-prof_5.1-2_armhf.deb 03-Dec-2016 10:08 301330