../ libghc-reducers-dev_3.12.3-2+b1_amd64.deb 04-Dec-2018 11:44 180332 libghc-reducers-dev_3.12.4-1+b3_amd64.deb 24-Oct-2022 10:41 197364 libghc-reducers-doc_3.12.3-2_all.deb 15-Oct-2018 23:28 85300 libghc-reducers-doc_3.12.4-1_all.deb 21-Jul-2022 23:22 98924 libghc-reducers-prof_3.12.3-2+b1_amd64.deb 04-Dec-2018 11:44 171760 libghc-reducers-prof_3.12.4-1+b3_amd64.deb 24-Oct-2022 10:41 195500