_darcs
.*.swp
*~
out
autom4te.cache configure config.status config.log
tmp
Agda2.tar.gz
.DS_Store
setup dist
.setup-config .installed-pkg-config .inplace-pkg-config