Subject: [bug#70393] [PATCH] gnu: python-pydevd: Use gdb/pinned.

From: Ludovic Courtès <[email-masked]>
Date: Mon, 15 Apr 2024 18:27:38 +0200

Hi!

Christopher Baines <[email-masked]> skribis:

> To allow gdb to be updated more easily.
>
> * gnu/packages/python-xyz.scm (python-pydevd)[inputs]: Use gdb/pinned.
>
> Change-Id: Icf417f89933bc190bf4c0d869c199cfe50d463ef

[...]

> -      (inputs (list coreutils gdb procps))
> +      (inputs (list coreutils gdb/pinned procps))
>        (home-page "https://github.com/fabioz/PyDev.Debugger/")
>        (synopsis "Python debugger")

If PyDev uses GDB, then it’ll be stuck with an older version of GDB?
Maybe that’s OK?  (I know nothing about PyDev and how it uses GDB so I
can’t really judge whether it’s OK.)

Ludo’.