../ libghc-isocline-dev_1.0.9-3+b1_amd64.deb 10-Aug-2025 12:20 129860 libghc-isocline-doc_1.0.9-3_all.deb 10-Aug-2025 12:20 73048 libghc-isocline-prof_1.0.9-3+b1_amd64.deb 10-Aug-2025 12:20 114572