../ libghc-semigroups-dev_0.18.2-3_armhf.deb 01-Dec-2016 22:08 18666 libghc-semigroups-doc_0.18.2-3_all.deb 28-Oct-2016 19:27 31044 libghc-semigroups-prof_0.18.2-3_armhf.deb 01-Dec-2016 22:08 15714