hdiff
packages
feed
Agda
-2.3.2.2: test/bugs/.cvsignore
.*.swp *.agdai .*.agda.vim