# Regrettably, upstream does not provide man pages for all executables
addFilter("no-manual-page-for-binary")

# Idris is a compiler, so these header files really belong into the main package.
addFilter("devel-file-in-non-devel-package")
