archrelease: copy trunk to community-anymaster
[arch-community.git] / idris / repos / 
tree4b23666e25b73e7d00fe76ace314b82993a83579
drwxr-xr-x   ..
drwxr-xr-x - community-x86_64