../ libghc-semigroupoids-dev_4.2-1+b1_armhf.deb 02-Oct-2014 23:10 244130 libghc-semigroupoids-doc_4.2-1_all.deb 07-Sep-2014 16:36 75636 libghc-semigroupoids-prof_4.2-1+b1_armhf.deb 02-Oct-2014 23:10 259816