No data for openSUSE%3AFactory%3ARISCV / ghc-quickcheck-arbitrary-adt