../ libghc-semigroups-dev_0.18.5-2+b1_armhf.deb 22-Jul-2020 16:19 17692 libghc-semigroups-doc_0.18.5-2_all.deb 22-Jul-2020 15:06 40572 libghc-semigroups-prof_0.18.5-2+b1_armhf.deb 22-Jul-2020 16:29 15348