packages feed

Agda-2.3.2.2: test/bugs/.cvsignore

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