diff options
| author | Marius Bakke <[email protected]> | 2020-02-13 17:56:28 +0100 |
|---|---|---|
| committer | Marius Bakke <[email protected]> | 2020-02-14 18:34:01 +0100 |
| commit | 759883ab5101443c0b0ece6bea6d02c60fb7287d (patch) | |
| tree | 850660532e6b2ecd414bec08250d44de2e93cd8f /gnu/packages/ocaml.scm | |
| parent | 318c6a5aa932f1276b29c09ec5104fd9f0841b53 (diff) | |
gnu: Remove [email protected].
* 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 'gnu/packages/ocaml.scm')
0 files changed, 0 insertions, 0 deletions