packages feed

Agda-2.3.2.2: examples/tactics/ac/.cvsignore

.*.swp
*~
*.agdai
.*.agda.vim