../ libghc-semigroupoids-dev_5.2.2-3+b1_armhf.deb 22-Jul-2020 15:07 374964 libghc-semigroupoids-doc_5.2.2-3_all.deb 22-Jul-2020 16:27 132412 libghc-semigroupoids-prof_5.2.2-3+b1_armhf.deb 22-Jul-2020 15:01 335600