gnu: openmpi: Update to 4.0.5.
authorGreg Hogan <code@greghogan.com>
Tue, 15 Sep 2020 13:59:43 +0000 (09:59 -0400)
committerMathieu Othacehe <othacehe@gnu.org>
Thu, 17 Sep 2020 14:18:00 +0000 (16:18 +0200)
commitb96f4f0995de80032bd6e0f0b3232d426436a130
treee628caed08cac9045c19621deb434a6d68a4d5d9
parent9e59ae320e1eebde7ccb4aec599b1a9a5765fb19
gnu: openmpi: Update to 4.0.5.

* gnu/packages/mpi.scm (openmpi): Update to 4.0.5.

Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
gnu/packages/mpi.scm