Marius Bakke
759883ab51
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.
2020-02-14 18:34:01 +01:00
..
2020-02-02 00:37:27 +01:00
2020-01-06 16:31:54 +01:00
2020-02-12 10:52:17 +01:00
2020-02-09 23:16:45 +01:00
2020-02-14 18:34:01 +01:00
2020-02-09 11:17:13 +00:00
2020-01-06 12:20:21 +02:00
2020-02-09 23:16:45 +01:00
2019-08-30 01:33:45 +02:00
2020-01-31 17:06:16 +01:00
2020-02-12 10:52:17 +01:00
2020-02-14 18:33:54 +01:00
2020-02-09 23:16:45 +01:00
2020-01-17 14:22:07 +01:00
2019-12-07 00:59:56 +01:00
2020-01-12 00:19:09 +01:00
2020-01-23 11:26:55 +01:00