../ libghc-pipes-dev_4.3.10-1build1_amd64.deb 25-Aug-2019 20:18 142636 libghc-pipes-doc_4.3.10-1build1_all.deb 25-Aug-2019 20:18 137960 libghc-pipes-prof_4.3.10-1build1_amd64.deb 25-Aug-2019 20:18 147508