gringo 5.7.0 -> 5.7.1 https://github.com/potassco/clingo/releases attrpath: gringo Checking auto update branch... No auto update branch exists [version] stderr did not split as expected full stderr was: error: attribute 'gringo' in selection path 'gringo.src' not found Did you mean one of bingo, clingo, ginkgo, gping or grig? stderr did not split as expected full stderr was: error: attribute 'gringo' in selection path 'gringo.originalSrc' not found Did you mean one of bingo, clingo, ginkgo, gping or grig? stderr did not split as expected full stderr was: error: attribute 'gringo' in selection path 'gringo' not found Did you mean one of bingo, clingo, ginkgo, gping or grig?