../ libghc-case-insensitive-dev_1.2.0.11-3build1_am..> 01-Oct-2021 16:50 41580 libghc-case-insensitive-doc_1.2.0.11-3build1_al..> 01-Oct-2021 16:13 33244 libghc-case-insensitive-prof_1.2.0.11-3build1_a..> 01-Oct-2021 16:38 36640