Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
[patch] Patch to handle openmpi-4.0.1
mpi4py-42f5e35a6a90454516c11131549a08cd766edbb0.diff (text/plain), 719 bytes, created by Juergen Rose on 2019-06-10 13:20:15 UTC
(hide)
 
Creator: Juergen Rose
Created: 2019-06-10 13:20:15 UTC
Size: 719 bytes
Actions: View | Diff
Attachments on bug 685780: 576262 | 579482 | 579484