No data for home:adrianSuSE:PL / ghc-tasty-quickcheck