diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-11-08 17:57:06 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-11-15 17:52:44 +0100 |
| commit | e68f954eb3c39366cb72dde0348d0c5348316dd6 (patch) | |
| tree | 479ded2af3d44dac27b69931fafb66c3283e5ac1 /gnu/packages/mpi.scm | |
| parent | 2b14c60d3870e74f620775ec8dd64634ff874dc7 (diff) | |
| download | patches-e68f954eb3c39366cb72dde0348d0c5348316dd6.tar patches-e68f954eb3c39366cb72dde0348d0c5348316dd6.tar.gz | |
gnu: rdma-core: Update to 26.0.
* gnu/packages/linux.scm (rdma-core): Update to 26.0.
[arguments]: Add "-DRST2MAN_EXECUTABLE=..." to #:configure-flags.
[native-inputs]: Add PYTHON-DOCUTILS.
Diffstat (limited to 'gnu/packages/mpi.scm')
0 files changed, 0 insertions, 0 deletions