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