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