Remove some rarely used stuff that I can nix shell instead

Changes

2 changed files (+7/-5)

• ThinkPad-X1-Yoga-Gen-6/default.nix
  • @@ -67,9 +67,10 @@
    # But its lake has weird errors and the mathlib binary cach is only for the official Lean builds # Also nixpkgs is a bit out of date sometimes elan - gcc + # Unfortunately python3 uv + # For Lean vscodium # Apps
  • @@ -83,14 +84,15 @@
    mpv mpvScripts.mpris rnote + # Yeah it's Electron but so is VSCodium signal-desktop # Utilities + # For aspelling stuff correctly aspellDicts.en deploy-rs fusee-nano ripgrep - sqlite texliveSmall ];
• flake.lock
  • @@ -61,11 +61,11 @@
    }, "nixpkgs": { "locked": { - "lastModified": 1754214453, - "narHash": "sha256-Q/I2xJn/j1wpkGhWkQnm20nShYnG7TI99foDBpXm1SY=", + "lastModified": 1754498491, + "narHash": "sha256-erbiH2agUTD0Z30xcVSFcDHzkRvkRXOQ3lb887bcVrs=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "5b09dc45f24cf32316283e62aec81ffee3c3e376", + "rev": "c2ae88e026f9525daf89587f3cbee584b92b6134", "type": "github" }, "original": {