Changes
2 changed files (+16/-4)
-
-
@@ -28,11 +28,11 @@] }, "locked": { "lastModified": 1779821282, "narHash": "sha256-8SYTOFTotTi1NQbAj04ZUCtlq+7TuT99v293zjaTN+s=", "lastModified": 1779905731, "narHash": "sha256-JxStPoM7rDResJU84gWmebSpuLMgyZfe3V8BHV5Prs4=", "ref": "refs/heads/main", "rev": "b915573da3322807f68b0b3289c30778591f6b52", "revCount": 91, "rev": "b24a140217aa1994e83590d41a70b720dad96c50", "revCount": 96, "type": "git", "url": "https://forgejo.mit.edu/SIPB/nixathena.git" },
-
-
-
@@ -69,6 +69,16 @@# Math and programming # BLAZINGLY FAST FEARLESS CONCURRENCY cargo # Unfortunately (coq.withPackages ( ps: with ps; [ stdlib vsrocq-language-server ] )) # For the Dafny VSCode extension, dotnet and z3 must be in $PATH dafny dotnet-runtime # For installing Lean beta versions # Also, lean4 from nixpkgs is often outdated and doesn't work with the mathlib binary cache # TODO: Updating gcc breaks toolchains
-
@@ -87,6 +97,7 @@substituteInPlace $out/lib/vscode/resources/app/product.json --replace-fail .vscode-oss .local/share/VSCodium ''; })) z3 # Apps deja-dup
-
@@ -122,6 +133,7 @@vips ]; variables = { DAFNY_SERVER_OVERRIDE = "${pkgs.dafny}/lib/Dafny/Dafny.dll"; # Lean toolchains are huge so put them outside of ~ so they don't end up in backups or snapshots ELAN_HOME = "/opt/elan"; # Make Electron apps use Wayland
-