# INFO.a is not a static library
addFilter("LiE.* devel-file-in-non-devel-package")
