diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-04-21 00:18:45 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-04-21 00:51:19 +0200 |
| commit | 5502fbd7fd8073e7eeb0b447530d7c88c1b79367 (patch) | |
| tree | afc6650f35a035311a6c76a1548de638ae77f167 /.dir-locals.el | |
| parent | 605815023cd21becc0156916f4ce08950b4459e5 (diff) | |
| download | guix-5502fbd7fd8073e7eeb0b447530d7c88c1b79367.tar guix-5502fbd7fd8073e7eeb0b447530d7c88c1b79367.tar.gz | |
gnu: valgrind: Add 3.15.0.
* gnu/packages/valgrind.scm (valgrind-3.15): New variable.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions