Changes
2 changed files (+8/-17)
-
-
@@ -47,10 +47,13 @@environment.systemPackages = with pkgs; [ # Programming # mathlib requires elan to download a specific Lean version elan gcc python313 python313Packages.python-lsp-server uv vscodium # BLAZINGLY FAST FEARLESS CONCURRENCY cargo
-
@@ -59,15 +62,6 @@rustc rustfmt # Formal verification # For the Dafny VSCode extension, dotnet and z3 must be in $PATH # mathlib requires elan to download a specific Lean version dafny dotnet-runtime elan vscodium z3 # Apps deja-dup kdePackages.neochat
-
@@ -87,11 +81,8 @@texliveSmall ]; environment.variables = { # More Dafny stuff NIXOS_OZONE_WL = "1"; DAFNY_SERVER_OVERRIDE = "${pkgs.dafny}/lib/Dafny/Dafny.dll"; }; # For VSCodium environment.variables.NIXOS_OZONE_WL = "1"; # Enable Podman because I'm weak and need my Arch Linux help I need it I really need it virtualisation.podman.enable = true;
-
-
-
@@ -61,11 +61,11 @@}, "nixpkgs": { "locked": { "lastModified": 1746663147, "narHash": "sha256-Ua0drDHawlzNqJnclTJGf87dBmaO/tn7iZ+TCkTRpRc=", "lastModified": 1746904237, "narHash": "sha256-3e+AVBczosP5dCLQmMoMEogM57gmZ2qrVSrmq9aResQ=", "owner": "NixOS", "repo": "nixpkgs", "rev": "dda3dcd3fe03e991015e9a74b22d35950f264a54", "rev": "d89fc19e405cb2d55ce7cc114356846a0ee5e956", "type": "github" }, "original": {
-