From b8cd8ff34b9ecabac753a99d6bbed085555ba280 Mon Sep 17 00:00:00 2001 From: Jeremy Wall Date: Thu, 20 Jun 2024 23:25:29 -0400 Subject: [PATCH] maint: todo cleanup --- nix/base-system/flake.nix | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/nix/base-system/flake.nix b/nix/base-system/flake.nix index 4a9553e..2e882ac 100644 --- a/nix/base-system/flake.nix +++ b/nix/base-system/flake.nix @@ -278,8 +278,6 @@ EOF"; }; }; 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 lean4 terraform # TODO(jeremy): Replace with opentofu when that is an option. @@ -287,7 +285,7 @@ EOF"; oha nodejs 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 python310 python310Packages.pip