archrelease: copy trunk to community-anymaster
[arch-community.git] / yices / 
treeab0fe6781c08dd2e4b5566283165c2a716686473
drwxr-xr-x   ..
drwxr-xr-x - repos
drwxr-xr-x - trunk