Package not found: openSUSE:Factory/ghc-dhall
Overview

File klee-rpmlintrc of Package klee

addFilter("devel-file-in-non-devel-package")
addFilter("shlib-policy-name-error .* libkleeRuntest1_0")
openSUSE Build Service is sponsored by
Places