Subject: why not to propagate gcc as a dependency

From: Attila Lendvai <[email-masked]>
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