zaphar/dotfiles
1
0
Fork 0
Code Issues 1 Pull Requests Packages Projects Releases Wiki Activity

Add isabelle

Browse Source
This commit is contained in:
Jeremy Wall 2023-12-26 21:44:51 -06:00
parent ff8a7082ed
commit 4720695cc0
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
nix/base-system/flake.nix
View File

@ -146,6 +146,7 @@ EOF";
zsh.interactiveShellInit = (builtins.readFile ./.zshrc); zsh.interactiveShellInit = (builtins.readFile ./.zshrc);
}; };
environment.systemPackages = (with pkgs; [ environment.systemPackages = (with pkgs; [
isabelle
texlive.combined.scheme-basic texlive.combined.scheme-basic
terraform # TODO(jeremy): Replace with opentofu when that is an option. terraform # TODO(jeremy): Replace with opentofu when that is an option.
terraform-ls terraform-ls

4
nix/darwin/flake.lock generated
View File

@ -37,11 +37,11 @@
"locked": { "locked": {
"lastModified": 1, "lastModified": 1,
"narHash": "sha256-FpujwFIx2bubT7wtgYSHve+hlDoZBTO7DELMowAEeww=", "narHash": "sha256-FpujwFIx2bubT7wtgYSHve+hlDoZBTO7DELMowAEeww=",
"path": "/nix/store/9ap10sma6dkx591mgh06698l34zyxmv6-source/nix/base-system", "path": "/nix/store/hnmh4b4nmhqc3pmz1mymkl5w86xv9632-source/nix/base-system",
"type": "path" "type": "path"
}, },
"original": { "original": {
"path": "/nix/store/9ap10sma6dkx591mgh06698l34zyxmv6-source/nix/base-system", "path": "/nix/store/hnmh4b4nmhqc3pmz1mymkl5w86xv9632-source/nix/base-system",
"type": "path" "type": "path"
} }
}, },