../ libghc-reducers-dev_3.12.3-3build2_amd64.deb 02-Nov-2020 11:18 180868 libghc-reducers-doc_3.12.3-3build2_all.deb 02-Nov-2020 11:18 84460 libghc-reducers-prof_3.12.3-3build2_amd64.deb 02-Nov-2020 11:18 170492