../ libghc-case-insensitive-dev_1.2.0.10-1build1_am..> 19-Oct-2021 09:21 42798 libghc-case-insensitive-doc_1.2.0.10-1build1_al..> 19-Oct-2021 09:21 22600 libghc-case-insensitive-prof_1.2.0.10-1build1_a..> 19-Oct-2021 09:21 37818