/proof-allconfigs/
/build/
/dest/
/*.gpr
/.config
