/build
/lake-packages/*
/lakefile.olean
/.lake
/test/Mathlib/.lake
/test/*.olean
/test/*.olean.tmp
/test/*.produced.out
