the return of coq

hosts/hyuganatsu/users/ahnwuoa/browser.nix

@@ -1,5 +1,6 @@
 {...}: let
-  mkProfiles = profiles: builtins.listToAttrs (map (p: {
+  mkProfiles = profiles:
+    builtins.listToAttrs (map (p: {
         name = "librewolf-${p}";
         value = {
           exec = "librewolf -P ${p}";
@@ -16,7 +17,9 @@
             "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]))