the return of coq

hosts/hyuganatsu/users/ahnwuoa/browser.nix

@@ -1,22 +1,25 @@
 {...}: let
-  mkProfiles = profiles: builtins.listToAttrs (map (p: {
+  mkProfiles = profiles:
-    name = "librewolf-${p}";
+    builtins.listToAttrs (map (p: {
-    value = {
+        name = "librewolf-${p}";
-      exec = "librewolf -P ${p}";
+        value = {
-      icon = "librewolf";
+          exec = "librewolf -P ${p}";
-      name = "Librewolf (${p})";
+          icon = "librewolf";
-      mimeType = [
+          name = "Librewolf (${p})";
-        "text/html"
+          mimeType = [
-        "text/xml"
+            "text/html"
-        "application/xhtml+xml"
+            "text/xml"
-        "x-scheme-handler/http"
+            "application/xhtml+xml"
-        "x-scheme-handler/https"
+            "x-scheme-handler/http"
-        "application/x-xpinstall"
+            "x-scheme-handler/https"
-        "application/pdf"
+            "application/x-xpinstall"
-        "application/json"
+            "application/pdf"
-      ];
+            "application/json"
-    };
+          ];
-  }) profiles); in {
+        };
+      })
+      profiles);
+in {
   xdg.desktopEntries = mkProfiles [
     "default"
     "personal"

system/mnt.nix

@@ -3,7 +3,8 @@
   lib,
   pkgs,
   ...
-}: lib.mkIf (config.networking.hostName != "komikan") {
+}:
+lib.mkIf (config.networking.hostName != "komikan") {
   environment.systemPackages = [pkgs.cifs-utils];
   security.wrappers."mount.cifs" = {
     program = "mount.cifs";

user/prog.nix

@@ -23,6 +23,8 @@ lib.mkIf config.u.has.prog {
       patchelf
       lazygit
       pyp
+      coq
+      coqPackages.coqide
     ]
     ++ lib.optionals config.u.has.graphical [
       (cutter.withPlugins (ps: with ps; [jsdec rz-ghidra sigdb]))