Changes
2 changed files (+6/-4)
-
-
@@ -50,15 +50,17 @@cargo gcc python313 rust-analyzer rustfmt texliveSmall uv # 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 # mathlib requires elan to download a specific Lean version elan vscodium z3
-
-
-
@@ -61,11 +61,11 @@}, "nixpkgs": { "locked": { "lastModified": 1745930157, "narHash": "sha256-y3h3NLnzRSiUkYpnfvnS669zWZLoqqI6NprtLQ+5dck=", "lastModified": 1746064326, "narHash": "sha256-r7IZkN9NhK/IO9/J6D9ih2P1OXb67nr5HaQ1YAte18w=", "owner": "NixOS", "repo": "nixpkgs", "rev": "46e634be05ce9dc6d4db8e664515ba10b78151ae", "rev": "91bf6dffa21c7709607c9fdbf9a6acb44e7a0a5d", "type": "github" }, "original": {
-