From f8b20a98ee1833a5d20582e38215aa45eb642976 Mon Sep 17 00:00:00 2001
From: Jeremy Wall <jeremy@marzhillstudios.com>
Date: Mon, 29 Jan 2024 00:34:48 -0500
Subject: [PATCH] TODO for isabelle

---
 nix/base-system/flake.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/nix/base-system/flake.nix b/nix/base-system/flake.nix
index 856fbe7..c51afde 100644
--- a/nix/base-system/flake.nix
+++ b/nix/base-system/flake.nix
@@ -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