diff options
| author | Ludovic Courtès <ludovic.courtes@inria.fr> | 2023-04-18 17:58:50 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-04-24 10:29:42 +0200 |
| commit | a386edb4dc334b54a75d845719247da6c9078458 (patch) | |
| tree | ba36778b8f3dc713cc20f4ba5823a24a2cf91be9 /gnu/packages/patches/libquicktime-ffmpeg.patch | |
| parent | 7931ac810b8feaadcbbfa3a31786087da2d5ee73 (diff) | |
gnu: openmpi: Update to 4.1.5.
* gnu/packages/mpi.scm (openmpi): Update to 4.1.5.
Diffstat (limited to 'gnu/packages/patches/libquicktime-ffmpeg.patch')
0 files changed, 0 insertions, 0 deletions