diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2020-02-13 17:56:28 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2020-02-14 18:34:01 +0100 |
| commit | 759883ab5101443c0b0ece6bea6d02c60fb7287d (patch) | |
| tree | 850660532e6b2ecd414bec08250d44de2e93cd8f /bootstrap | |
| parent | 318c6a5aa932f1276b29c09ec5104fd9f0841b53 (diff) | |
| download | patches-759883ab5101443c0b0ece6bea6d02c60fb7287d.tar patches-759883ab5101443c0b0ece6bea6d02c60fb7287d.tar.gz | |
gnu: Remove gdb@8.3.
* gnu/packages/gdb.scm (gdb-8.3): Rename to ...
(gdb-9.1): ... this. Update to 9.1.
[properties]: Remove.
[inputs]: Add SOURCE-HIGHLIGHT.
[arguments]: Add #:out-of-source?.
(gdb-8.2): Inherit from GDB-9.1.
(gdb): Set to GDB-9.1.
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions