../ libghc-reducers-dev_3.12.3-2+b1_armhf.deb 22-Jul-2020 14:36 206688 libghc-reducers-doc_3.12.3-2_all.deb 22-Jul-2020 16:42 85300 libghc-reducers-prof_3.12.3-2+b1_armhf.deb 22-Jul-2020 15:20 180660