More Rust stuff and utilities

Changes

1 changed files (+8/-3)

• ThinkPad-X1-Yoga-Gen-6/default.nix
  • @@ -47,15 +47,17 @@
    environment.systemPackages = with pkgs; [ # Programming - cargo gcc python313 python313Packages.python-lsp-server + uv + + # BLAZINGLY FAST FEARLESS CONCURRENCY + cargo + clippy rust-analyzer rustc rustfmt - texliveSmall - uv # Formal verification # For the Dafny VSCode extension
  • @@ -80,7 +82,10 @@
    # Utilities aspellDicts.en deploy-rs + pandoc ripgrep + sqlite + texliveSmall ]; environment.variables = {