../ libghc-fingertree-dev_0.1.5.0-1_loong64.deb 02-Jul-2023 00:02 287008 libghc-fingertree-doc_0.1.5.0-1_all.deb 01-Jul-2023 15:59 116312 libghc-fingertree-prof_0.1.5.0-1_loong64.deb 02-Jul-2023 00:10 338036