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

TODO for isabelle

Browse Source
This commit is contained in:
Jeremy Wall 2024-01-29 00:34:48 -05:00
parent 6711228f3c
commit f8b20a98ee
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -235,7 +235,9 @@ EOF";
};
};
environment.systemPackages = (with pkgs; [
#isabelle # TODO(jwall): See if there is a way to pin this to a working build
# 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
#unstablePkgs.isabelle
terraform # TODO(jeremy): Replace with opentofu when that is an option.
consul
consul-template