nix/base-system/darwin-configuration.nix

@@ -8,7 +8,6 @@
     extraOptions = ''
       experimental-features = nix-command flakes repl-flake
       extra-platforms = x86_64-darwin aarch64-darwin x86_64-linux
-      trusted-users = root zaphar
     '';
   };
 

nix/base-system/flake.nix

@@ -280,7 +280,9 @@ 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
+            #isabelle
+            # Should be fixed by: https://github.com/NixOS/nixpkgs/pull/282624
+            #(lean4.override { stdenv = stdenv.override { allowedRequisites = null; cc = llvmPackages_11.clang; }; })
             lean4
             terraform # TODO(jeremy): Replace with opentofu when that is an option.
             nomad
@@ -329,19 +331,17 @@ EOF";
             # NOTE(jwall): I include these initially for nvim telescope
             ripgrep
             fd
-            #ocaml
-            #opam
             vector
             victoriametrics
             # TODO add sonic-pi here if it supports the arch
         ])
-        #++ (with pkgs.ocamlPackages; [
+        ++ (with pkgs.ocamlPackages; [
-        #    dune_3
+            dune_3
-        #    odoc
+            odoc
-        #    ocaml-lsp
+            ocaml-lsp
-        #    merlin
+            merlin
-        #    utop
+            utop
-        #])
+        ])
         ++ [
             sile
             runwhen