# Contains problems from the GNU coreutils
goblint-coreutils/*.yml