Subject: [bug#34780] OpenMPI Java support

From: Ricardo Wurmus <[email-masked]>
Date: Thu, 7 Mar 2019 11:49:07 +0100

Hi Guix,

this patch adds a “java” output to the “openmpi” package, providing
“mpi.jar” and other libraries.  The closure size of the “out” output
remains unchanged.

--
Ricardo