../ libghc-tasty-kat-dev_0.0.3-10_amd64.deb 29-Oct-2020 14:20 43084 libghc-tasty-kat-dev_0.0.3-10_arm64.deb 29-Oct-2020 14:20 48068 libghc-tasty-kat-doc_0.0.3-10_all.deb 29-Oct-2020 14:20 48616 libghc-tasty-kat-prof_0.0.3-10_amd64.deb 29-Oct-2020 14:20 37944 libghc-tasty-kat-prof_0.0.3-10_arm64.deb 29-Oct-2020 14:20 41384