Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
[patch] openmpi-1.8.7-r1.ebuild.diff
openmpi-1.8.7-r1.ebuild.diff (text/plain), 2.07 KB, created by Patrice Clement on 2015-08-01 08:08:04 UTC
(hide)
 
Creator: Patrice Clement
Created: 2015-08-01 08:08:04 UTC
Size: 2.07 KB
Actions: View | Diff
Attachments on bug 542700: 408086