diff options
author | zimoun <[email protected]> | 2023-04-20 15:23:33 +0200 |
---|---|---|
committer | Andreas Enge <[email protected]> | 2023-04-26 14:34:23 +0200 |
commit | c3509c2148ee74b66a7e4338c626cd3b582ab51c (patch) | |
tree | f5c46d63b661596863cc0994db9b10fa6acbca0d /po | |
parent | 50dcd1acd7c62152da266b6686a442e26dd88a45 (diff) |
gnu: valgrind: Update to 3.20.0.
* gnu/packages/valgrind.scm (valgrind): Update to 3.20.0. Remove patch.
[arguments]<phases>: Remove trailing #t.
* gnu/packages/patches/valgrind-enable-arm.patch: Delete file.
* gnu/packages/valgrind.scm (dist_patch_DATA): Unregister patch.
Signed-off-by: Andreas Enge <[email protected]>
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions