No need for Wolfram Alpha, just rawdog SageMath

Changes

2 changed files (+5/-4)

• ThinkPad-X1-Yoga-Gen-6/default.nix
  • @@ -60,7 +60,7 @@
    virtualisation.podman.enable = true; environment.systemPackages = with pkgs; [ - # Programming + # Math and Programming # 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
  • @@ -68,6 +68,7 @@
    elan # Unfortunately python3 + sage uv # For Lean # TODO: Patch for XDG support
• flake.lock
  • @@ -23,11 +23,11 @@
    }, "nixpkgs": { "locked": { - "lastModified": 1760284886, - "narHash": "sha256-TK9Kr0BYBQ/1P5kAsnNQhmWWKgmZXwUQr4ZMjCzWf2c=", + "lastModified": 1760878510, + "narHash": "sha256-K5Osef2qexezUfs0alLvZ7nQFTGS9DL2oTVsIXsqLgs=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "cf3f5c4def3c7b5f1fc012b3d839575dbe552d43", + "rev": "5e2a59a5b1a82f89f2c7e598302a9cacebb72a67", "type": "github" }, "original": {