Index of /boss/pool/urja/main/o/openmpi

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]openmpi_4.1.0-10.dsc2022-04-28 11:18 2.6K 
[   ]openmpi_4.1.0-10.debian.tar.xz2022-04-28 11:18 68K 
[   ]openmpi-common_4.1.0-10_all.deb2022-04-28 11:18 175K 
[   ]openmpi-bin_4.1.0-10_armhf.deb2022-04-28 11:18 201K 
[   ]openmpi-bin_4.1.0-10_i386.deb2022-04-28 11:18 204K 
[   ]openmpi-bin_4.1.0-10_amd64.deb2022-04-28 11:18 232K 
[   ]openmpi-doc_4.1.0-10_all.deb2022-04-28 11:18 760K 
[   ]libopenmpi-dev_4.1.0-10_i386.deb2022-04-28 11:18 1.1M 
[   ]libopenmpi-dev_4.1.0-10_armhf.deb2022-04-28 11:18 1.1M 
[   ]libopenmpi-dev_4.1.0-10_amd64.deb2022-04-28 11:18 1.1M 
[   ]libopenmpi3_4.1.0-10_armhf.deb2022-04-28 11:18 1.7M 
[   ]libopenmpi3_4.1.0-10_i386.deb2022-04-28 11:18 2.0M 
[   ]libopenmpi3_4.1.0-10_amd64.deb2022-04-28 11:18 2.3M 
[   ]openmpi_4.1.0.orig.tar.xz2022-04-28 11:18 6.4M