libghc-tasty-kat-dev_0.0.3-13+b1_amd64.deb
libghc-tasty-kat-dev_0.0.3-13+b1_arm64.deb
libghc-tasty-kat-doc_0.0.3-13_all.deb
libghc-tasty-kat-prof_0.0.3-13+b1_amd64.deb
libghc-tasty-kat-prof_0.0.3-13+b1_arm64.deb