../ libghc-reducers-dev_3.12.3-3+b1_amd64.deb 14-Aug-2020 08:00 185172 libghc-reducers-doc_3.12.3-3_all.deb 17-Jun-2020 16:13 96684 libghc-reducers-prof_3.12.3-3+b1_amd64.deb 14-Aug-2020 08:00 176092