../ libghc-reducers-dev_3.12.4-2_amd64.deb 10-Nov-2023 11:50 213910 libghc-reducers-doc_3.12.4-2_all.deb 10-Nov-2023 11:50 84736 libghc-reducers-prof_3.12.4-2_amd64.deb 10-Nov-2023 11:50 211686