[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#70393] [PATCH] gnu: python-pydevd: Use gdb/pinned.
|
From: |
Ludovic Courtès |
|
Subject: |
[bug#70393] [PATCH] gnu: python-pydevd: Use gdb/pinned. |
|
Date: |
Mon, 15 Apr 2024 18:27:38 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Hi!
Christopher Baines <mail@cbaines.net> 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’.