feat: Add myself to trusted users

nix/base-system/darwin-configuration.nix

@@ -8,6 +8,7 @@
     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,9 +280,7 @@ 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
@@ -331,17 +329,19 @@ 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