hdiff
packages
feed
idris
-0.12.3: docs/.gitignore
*~ UnicodeData.txt _build/