archrelease: copy trunk to community-anymaster
[arch-community.git] / idris / trunk / 
tree1fd44ceb3bf494fb050c8ecc756c8f2a30cc1742
drwxr-xr-x   ..
-rw-r--r-- 3004 PKGBUILD