diff --git a/nix/base-system/flake.nix b/nix/base-system/flake.nix
index 4ad7f14..844e790 100644
--- a/nix/base-system/flake.nix
+++ b/nix/base-system/flake.nix
@@ -111,6 +111,9 @@
             rnix-lsp
             nil
             alloy6
+            (tlaplus.override {
+              adoptopenjdk-bin = jdk;
+            })
             jdk
             plantuml-c4
             texlive.combined.scheme-basic
diff --git a/nix/darwin/flake.lock b/nix/darwin/flake.lock
index 2387ebe..f5ad66b 100644
--- a/nix/darwin/flake.lock
+++ b/nix/darwin/flake.lock
@@ -32,12 +32,12 @@
       },
       "locked": {
         "lastModified": 1,
-        "narHash": "sha256-+GjHiziuT4s1/cWK9OjiMp1buxh4IVZ/zLmbZ+NNKBU=",
-        "path": "/nix/store/a8sqmhsq15h62prgyyy8j0ghi9213vpx-source/nix/base-system",
+        "narHash": "sha256-5NdE5ik4A3CbpdEa6FVTR2GSfyWuOCAA+WO5r9oU+yE=",
+        "path": "/nix/store/riljmsk60lxrnxwkhxzf38c1jb639q8z-source/nix/base-system",
         "type": "path"
       },
       "original": {
-        "path": "/nix/store/a8sqmhsq15h62prgyyy8j0ghi9213vpx-source/nix/base-system",
+        "path": "/nix/store/riljmsk60lxrnxwkhxzf38c1jb639q8z-source/nix/base-system",
         "type": "path"
       }
     },