GNU bug report logs - #58310
[PATCH] Add coq-mathcomp-analysis

Previous Next

Full log

View this message in rfc822 format

From: zimoun <zimon.toutoune <at> gmail.com>
To: Lars-Dominik Braun <lars <at> 6xq.net>
Cc: jgart <at> dismail.de, Garek Dyszel <garekdyszel <at> disroot.org>, 58310 <at> debbugs.gnu.org
Subject: [bug#58310] [PATCH 03/14] gnu: Add python-setuptools-scm-7.
Date: Thu, 03 Nov 2022 19:34:46 +0100

Hi Lars,

On jeu., 03 nov. 2022 at 20:57, Lars-Dominik Braun <lars <at> 6xq.net> wrote:

>> The update of python-setuptools-scm from 6 to 7 is not possible without
>> going via core-updates, no?
>
> it’s just an addition and not replacing the current setuptools-scm,
> if I see correctly.

Yes, so “guix install python-setuptools-scm” will install v7 and not the
version v6 used by default.  And it can be confusing, IMHO.


Cheers,
simon

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.