libghc-tasty-smallcheck-dev_0.8.2-3+b1_amd64.deb
libghc-tasty-smallcheck-dev_0.8.2-3+b1_arm64.deb
libghc-tasty-smallcheck-doc_0.8.2-3_all.deb
libghc-tasty-smallcheck-prof_0.8.2-3+b1_amd64.deb
libghc-tasty-smallcheck-prof_0.8.2-3+b1_arm64.deb