diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-11-14 20:16:28 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-11-14 20:16:28 +0100 |
| commit | b33eef17e927efc882bb5ab77d59cb615b850a82 (patch) | |
| tree | ef0ab126e8747267d345bd6ce141cac958d32607 /.patman | |
| parent | 2a73e89bcf00e7f6b0f46a8e631468f323266644 (diff) | |
gnu: spindle: Update to 0.13; remove input labels.wip-openmpi-upgrade
* gnu/packages/admin.scm (spindle): Update to 0.13.
[inputs]: Remove labels.
Change-Id: I2ccaaf2385797d81de2b1ffe28452281b4e5ae90
Diffstat (limited to '.patman')
0 files changed, 0 insertions, 0 deletions