../ libghc-case-insensitive-dev_1.2.0.5-1build1_mip..> 11-May-2017 04:57 50822 libghc-case-insensitive-doc_1.2.0.5-1build1_all..> 11-May-2017 04:57 35160 libghc-case-insensitive-prof_1.2.0.5-1build1_mi..> 11-May-2017 04:57 46136