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

[Greg Hogan]

On Tue, Apr 11, 2023 at 9:43 AM Greg Hogan <code@greghogan.com> wrote:
>
> On Tue, Apr 11, 2023 at 4:37 AM Simon Tournier <zimon.toutoune@gmail.com> 
> wrote:
> >
> > > gdb@11 has 6811 dependent packages.
> >
> > Well, the usual way when several versions are around and when one is
> > used by many is to name the other with the suffix ’-next’.
> >
> > See python-numpy-next, emacs-next, etc.
>
> I had thought the preferred way was to suffix the internal version
> with '/pinned' rather than suffixing and reverting the user-facing
> package name, but hopefully the need to do this is significantly
> reduced with the switch from core-updates and staging to feature
> branches.
>
> If it's an issue of stability or compatibility then '-next' is the
> sensible approach.

I see that Ludo' added the '/pinned' suffix in core-updates 6b5c21e0.

This patch is successfully building on QA.