../ libghc-isocline-dev_1.0.9-3_amd64.deb 14-Sep-2024 21:32 133132 libghc-isocline-dev_1.0.9-3_i386.deb 14-Sep-2024 21:53 178984 libghc-isocline-doc_1.0.9-3_all.deb 14-Sep-2024 21:42 73048 libghc-isocline-prof_1.0.9-3_amd64.deb 14-Sep-2024 21:32 118568 libghc-isocline-prof_1.0.9-3_i386.deb 14-Sep-2024 21:53 148868