Revert "Eh it's nice to have gcc on PATH" This reverts commit b1a7172067214a6de90f068d2edaf1792d94c297. Actually there's leanc already provided by elan.

Changes

2 changed files (+3/-4)

• ThinkPad-X1-Yoga-Gen-6/default.nix
  • @@ -61,7 +61,6 @@
    environment.systemPackages = with pkgs; [ # Programming - gcc # mathlib requires elan to download a specific Lean version # It would be nicer to use lean4 from nixpkgs # But its lake has weird errors and the mathlib binary cache is only for the official Lean builds
• flake.lock
  • @@ -23,11 +23,11 @@
    }, "nixpkgs": { "locked": { - "lastModified": 1760524057, - "narHash": "sha256-EVAqOteLBFmd7pKkb0+FIUyzTF61VKi7YmvP1tw4nEw=", + "lastModified": 1760284886, + "narHash": "sha256-TK9Kr0BYBQ/1P5kAsnNQhmWWKgmZXwUQr4ZMjCzWf2c=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "544961dfcce86422ba200ed9a0b00dd4b1486ec5", + "rev": "cf3f5c4def3c7b5f1fc012b3d839575dbe552d43", "type": "github" }, "original": {