On Fri, 6 Oct 2023 14:53:23 +0200
Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> wrote:

> So we need to add '#:use-module (gnu packages texlive)' to fix that.
Sorry my patch added '#:use-module (gnu packages texlive)', so we need
to change tex in texlive.

Denis.