*.fst-ver
*.fsti-ver
*.mgen
ml/extracted
ml/fstarlib.mllib
tactics_ml/extracted
tactics_ml/fstarlib_leftovers
tactics_ml/fstartaclib.mllib
.depend.extract
