No data for openSUSE / ghc-boltzmann-samplers