archrelease: copy trunk to extra-x86_64
[arch-packages.git] / openmpi / 
treecf1a2803d4bbd135bfdbdf6468a3aa7d0c174505
drwxr-xr-x   ..
drwxr-xr-x - repos
drwxr-xr-x - trunk