archrelease: copy trunk to community-x86_64
[ArchLinux/community.git] / agda / 
tree058fde923cae13fd0430f3f47ccf1e01e0f554a9
drwxr-xr-x   ..
drwxr-xr-x - repos
drwxr-xr-x - trunk