/inst
/*.checked/**
/*.ml/**
/*.fs/**
/*.pluginml/**
.*_depend
.depend
*.install
.fstarlock
