Index of /debian/pool/main/o/openmpi

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]libopenmpi-dev_2.0.2-2_amd64.deb2017-02-10 07:52 1.0M 
[   ]libopenmpi-dev_2.0.2-2_i386.deb2017-02-10 08:27 1.0M 
[   ]libopenmpi-dev_3.1.3-11_amd64.deb2019-05-01 00:57 951K 
[   ]libopenmpi-dev_3.1.3-11_i386.deb2019-05-01 00:57 941K 
[   ]libopenmpi2_2.0.2-2_amd64.deb2017-02-10 07:52 1.9M 
[   ]libopenmpi2_2.0.2-2_i386.deb2017-02-10 08:27 2.0M 
[   ]libopenmpi3_3.1.3-11_amd64.deb2019-05-01 00:57 2.1M 
[   ]libopenmpi3_3.1.3-11_i386.deb2019-05-01 00:57 2.1M 
[   ]openmpi-bin_2.0.2-2_amd64.deb2017-02-10 07:52 182K 
[   ]openmpi-bin_2.0.2-2_i386.deb2017-02-10 08:27 179K 
[   ]openmpi-bin_3.1.3-11_amd64.deb2019-05-01 00:57 195K 
[   ]openmpi-bin_3.1.3-11_i386.deb2019-05-01 00:57 195K 
[   ]openmpi-common_2.0.2-2_all.deb2017-02-10 07:52 146K 
[   ]openmpi-common_3.1.3-11_all.deb2019-05-01 01:07 161K 
[   ]openmpi-doc_2.0.2-2_all.deb2017-02-10 07:52 684K 
[   ]openmpi-doc_3.1.3-11_all.deb2019-05-01 01:07 743K 
[   ]openmpi_2.0.2-2.debian.tar.xz2017-02-10 07:52 58K 
[   ]openmpi_2.0.2-2.dsc2017-02-10 07:52 2.6K 
[   ]openmpi_2.0.2.orig.tar.xz2017-02-06 12:19 5.2M 
[   ]openmpi_3.1.3-11.debian.tar.xz2019-04-30 23:57 62K 
[   ]openmpi_3.1.3-11.dsc2019-04-30 23:57 2.6K 
[   ]openmpi_3.1.3.orig.tar.xz2018-10-31 07:24 6.0M 

Apache/2.4.25 (Debian) Server at osmirror.rug.nl Port 80