Index of /grip/pool/dev/o/openmpi
Name
Last modified
Size
Description
Parent Directory
-
libopenmpi-dev_1.4.2-4em1_amd64.deb
27-Nov-2010 22:07
2.5M
libopenmpi-dev_1.4.2-4em1_i386.deb
27-Nov-2010 22:07
2.3M
libopenmpi-dev_1.4.2-4em1_powerpc.deb
27-Nov-2010 22:07
2.5M
![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}