Eh it's nice to have gcc on PATH

Changes

2 changed files (+4/-3)

• ThinkPad-X1-Yoga-Gen-6/default.nix
  • @@ -61,6 +61,7 @@
    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": 1760284886, - "narHash": "sha256-TK9Kr0BYBQ/1P5kAsnNQhmWWKgmZXwUQr4ZMjCzWf2c=", + "lastModified": 1760524057, + "narHash": "sha256-EVAqOteLBFmd7pKkb0+FIUyzTF61VKi7YmvP1tw4nEw=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "cf3f5c4def3c7b5f1fc012b3d839575dbe552d43", + "rev": "544961dfcce86422ba200ed9a0b00dd4b1486ec5", "type": "github" }, "original": {