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