unofficial mirror of guix-patches@gnu.org 
 help / color / mirror / code / Atom feed
* [bug#34780] OpenMPI Java support
@ 2019-03-07 10:49 Ricardo Wurmus
  2019-03-07 11:14 ` [bug#34780] [PATCH] gnu: openmpi: Add " Ricardo Wurmus
  0 siblings, 1 reply; 6+ messages in thread
From: Ricardo Wurmus @ 2019-03-07 10:49 UTC (permalink / raw)
  To: 34780

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

^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2019-03-19  9:45 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-03-07 10:49 [bug#34780] OpenMPI Java support Ricardo Wurmus
2019-03-07 11:14 ` [bug#34780] [PATCH] gnu: openmpi: Add " Ricardo Wurmus
2019-03-18  9:27   ` Ludovic Courtès
2019-03-18 14:06     ` Ricardo Wurmus
2019-03-18 17:26       ` bug#34780: " Ricardo Wurmus
2019-03-19  9:43         ` [bug#34780] " Ludovic Courtès

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).