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

Previous Next

Full log

View this message in rfc822 format

From: Lars-Dominik Braun <lars <at> 6xq.net>
To: zimoun <zimon.toutoune <at> gmail.com>
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: Fri, 4 Nov 2022 09:44:30 +0900

Hi zimoun,

> Yes, so “guix install python-setuptools-scm” will install v7 and not the
> version v6 used by default.  And it can be confusing, IMHO.
yep, that’s unfortunate but how `guix install` works. It’d be nice
to be able to designate a “default” package. In this case I don’t
see a danger for breakage and setuptools-scm is afaik only a build-time
dependency.

Cheers,
Lars

Previous Next

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