[bug#62418] [PATCH] gnu: Update to 13.1.

[Greg Hogan]

On Sat, Apr 8, 2023 at 5:41 AM Simon Tournier <zimon.toutoune@gmail.com> wrote:
>
> Hi,
>
> THe commit header line is:
>
>     gnu: Update to 13.1.
>
> and ’gdb’ seems missing.

Good observation. Will submit a second version of the patch.

> 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?

gdb@11 has 6811 dependent packages.