../ libghc-tasty-smallcheck-dev_0.8.1-5+b2_armhf.deb 22-Jul-2020 15:19 27332 libghc-tasty-smallcheck-doc_0.8.1-5_all.deb 22-Jul-2020 15:48 43732 libghc-tasty-smallcheck-prof_0.8.1-5+b2_armhf.deb 22-Jul-2020 16:03 21732