../ libghc-managed-dev_1.0.7-2build1_amd64.deb 25-Feb-2024 15:26 32736 libghc-managed-doc_1.0.7-2build1_all.deb 25-Feb-2024 15:38 37312 libghc-managed-prof_1.0.7-2build1_amd64.deb 25-Feb-2024 15:27 31400