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

maint: todo cleanup

Browse Source
This commit is contained in:
Jeremy Wall 2024-06-20 23:25:29 -04:00
parent 44ef17e2ff
commit b8cd8ff34b
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -278,8 +278,6 @@ EOF";
}; };
}; };
environment.systemPackages = (with pkgs; [ environment.systemPackages = (with pkgs; [
# TODO(jwall): This appears to be broken due to: https://github.com/NixOS/nixpkgs/issues/166205
# Should be fixed by: https://github.com/NixOS/nixpkgs/pull/282624
isabelle isabelle
lean4 lean4
terraform # TODO(jeremy): Replace with opentofu when that is an option. terraform # TODO(jeremy): Replace with opentofu when that is an option.
@ -287,7 +285,7 @@ EOF";
oha oha
nodejs nodejs
gnumake gnumake
# TODO find a version of the julia package that will install # TODO(zaphar): find a version of the julia package that will install
# on darwin and add it as an overlay # on darwin and add it as an overlay
python310 python310
python310Packages.pip python310Packages.pip