libghc-isocline-dev_1.0.9-3+b1_amd64.deb
libghc-isocline-dev_1.0.9-3+b1_arm64.deb
libghc-isocline-doc_1.0.9-3_all.deb
libghc-isocline-prof_1.0.9-3+b1_amd64.deb
libghc-isocline-prof_1.0.9-3+b1_arm64.deb