../ libghc-text-zipper-dev_0.13-1_amd64.deb 08-Nov-2023 11:51 85028 libghc-text-zipper-doc_0.13-1_all.deb 08-Nov-2023 11:51 47084 libghc-text-zipper-prof_0.13-1_amd64.deb 08-Nov-2023 11:51 83538