Subject: Re: [bug#64503] [PATCH] gnu: python-pygments: Update to 2.15.1.

From: Lars-Dominik Braun <[email-masked]>
Date: Mon, 10 Jul 2023 08:17:34 +0200

Hi,

> Either that or piggy-backing on the tex-team branch that’s about ready
> to be built these days.

tex-team will probably be faster. python-team is not ready yet,
unfortunately :(

Lars