GNU bug report logs - #49607
[PATCH] gnu: Add Idris 2.

Previous Next

Full log

View this message in rfc822 format

From: Attila Lendvai <attila <at> lendvai.name>
To: "49607 <at> debbugs.gnu.org" <49607 <at> debbugs.gnu.org>
Subject: [bug#49607] why not to propagate gcc as a dependency
Date: Mon, 11 Jul 2022 10:41:51 +0000

please note this discussion:

https://lists.gnu.org/archive/html/guix-devel/2022-07/msg00131.html

the conclusion, roughly: it's better if the user can pick whichever c compiler they want, but to retain a slick user experience, maybe we should introduce an idris-toolchain package that does the propagation.

- attila

Previous Next

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