diff options
| author | Simon Tournier <zimon.toutoune@gmail.com> | 2023-01-31 11:32:29 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-02-09 01:07:22 +0100 |
| commit | 7ad98c571e1bd19b36b1cde7a49868b589fdb3ca (patch) | |
| tree | 7a867d27bee8fd99f5e95c6e2de276d4e61cc22d /gnu/packages/mpi.scm | |
| parent | a8974597cc94b4c4e80b67ac8660c81362a50ae2 (diff) | |
gnu: Remove valgrind-3.20.
* gnu/packages/valgrind.scm (valgrind-3.20): Delete variable.
(valgrind/interactive): Update to 3.20.0.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/mpi.scm')
0 files changed, 0 insertions, 0 deletions