../ libghc-case-insensitive-dev_1.2.1.0-4_amd64.deb 10-Nov-2023 11:50 51270 libghc-case-insensitive-doc_1.2.1.0-4_all.deb 10-Nov-2023 11:50 35590 libghc-case-insensitive-prof_1.2.1.0-4_amd64.deb 10-Nov-2023 11:50 47832