diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-04-18 16:08:31 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-04-18 17:51:22 +0200 |
| commit | 6b5c21e043c632e6287a2af7f336036571538da2 (patch) | |
| tree | b1eb16c63b0b237b80867ee76fac3bab7f09a69b /gnu/packages/game-development.scm | |
| parent | c8bc58a9e705bb4c37d2c4386d1c6050ab324cb1 (diff) | |
gnu: gdb: Distinguish between the "pinned" and the "default" version.
* gnu/packages/gdb.scm (gdb/pinned): New variable.
* gnu/packages/rust.scm (rust)[native-inputs]: Use it instead of GDB.
Diffstat (limited to 'gnu/packages/game-development.scm')
0 files changed, 0 insertions, 0 deletions