packages feed

Agda-2.3.2.2: mk/.cvsignore

.*.swp
*~
config.mk