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