Reapply "Eh it's nice to have gcc on PATH" This reverts commit 267efef8a4b5e99ee9f608bed3a53c67e884605f.

Changes

1 changed files (+2/-0)

• ThinkPad-X1-Yoga-Gen-6/default.nix
  • @@ -79,6 +79,8 @@
    # Also, lean4 from nixpkgs is often outdated and doesn't work with the mathlib binary cache # TODO: Updating gcc breaks toolchains elan + # For Lean FFI stuff + gcc # Unfortunately python3 # WolframAlpha at home