gnu: gdb: Change default to 12.x.

* gnu/packages/gdb.scm (gdb): Change to GDB-12.
This commit is contained in:
Ludovic Courtès 2023-04-18 17:49:02 +02:00
parent 6b5c21e043
commit dd9b1a1c25
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5

View file

@ -168,7 +168,7 @@ (define-public gdb/pinned
(define-public gdb
;; The "default" version.
gdb-11)
gdb-12)
(define-public gdb-minimal
(package/inherit gdb-12