../ libghc-tasty-kat-dev_0.0.3-11_loong64.deb 02-Jul-2023 00:02 52672 libghc-tasty-kat-doc_0.0.3-11_all.deb 01-Jul-2023 16:00 48916 libghc-tasty-kat-prof_0.0.3-11_loong64.deb 02-Jul-2023 00:11 50980