[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#62418] [PATCH] gnu: Update to 13.1.
From: |
Simon Tournier |
Subject: |
[bug#62418] [PATCH] gnu: Update to 13.1. |
Date: |
Sat, 08 Apr 2023 11:40:22 +0200 |
Hi,
THe commit header line is:
gnu: Update to 13.1.
and ’gdb’ seems missing.
On Fri, 07 Apr 2023 at 19:37, Greg Hogan <code@greghogan.com> wrote:
> * gnu/packages/gdb.scm (gdb-12): Rename to ...
> (gdb-13): ... and update to 13.1.
> (avr-gdb): Inherit from GDB-13.
Naive question, why GDB@12 is removed and not instead GDB@11?
Cheers,
simon