common/vscode.nix

@@ -38,12 +38,6 @@
        version = "0.0.226";
        sha256 = "sha256-Fj9cw+VJ2jkTGUclB1TLvURhzQsaryFQs/+f2RZOLHs=";
      }
-     {
-       name = "lean4";
-       publisher = "leanprover";
-       version = "0.0.133";
-       sha256 = "sha256-tjBTOkh4UeEmOo/ZbadpeyW07QiPcUO4aI2NWdtTxrE=";
-     }
     ];
    userSettings = {
      "agdaMode.connection.agdaLanguageServer" = false;

flake.lock

@@ -20,11 +20,11 @@
     "cask-fonts": {
       "flake": false,
       "locked": {
-        "lastModified": 1710722056,
-        "narHash": "sha256-Paot9B0/6q8sbnZboKj3F/s3surOszQ5uWhgLBkpjR4=",
+        "lastModified": 1709912827,
+        "narHash": "sha256-yI4y7VJ+QSxDv19yjj9TWn3r2tPXjS4nWyAjJMFfJ3k=",
         "owner": "homebrew",
         "repo": "homebrew-cask-fonts",
-        "rev": "44a579d41aa4295a9bfa71c197e997eca9a6d72b",
+        "rev": "533f3d95f5200c1489b38a6fcfbf110b707a0dff",
         "type": "github"
       },
       "original": {
@@ -55,11 +55,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1710717205,
-        "narHash": "sha256-Wf3gHh5uV6W1TV/A8X8QJf99a5ypDSugY4sNtdJDe0A=",
+        "lastModified": 1709771483,
+        "narHash": "sha256-Hjzu9nCknHLQvhdaRFfCEprH0o15KcaNu1QDr3J88DI=",
         "owner": "lnl7",
         "repo": "nix-darwin",
-        "rev": "bcc8afd06e237df060c85bad6af7128e05fd61a3",
+        "rev": "550340062c16d7ef8c2cc20a3d2b97bcd3c6b6f6",
         "type": "github"
       },
       "original": {
@@ -128,11 +128,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1710820906,
-        "narHash": "sha256-2bNMraoRB4pdw/HtxgYTFeMhEekBZeQ53/a8xkqpbZc=",
+        "lastModified": 1709938482,
+        "narHash": "sha256-2Vw2WOFmEXWQH8ziFNOr0U48Guh5FacuD6BOEIcE99s=",
         "owner": "nix-community",
         "repo": "home-manager",
-        "rev": "022464438a85450abb23d93b91aa82e0addd71fb",
+        "rev": "17431970b4ebc75a92657101ccffcfc9e1f9d8f0",
         "type": "github"
       },
       "original": {
@@ -144,11 +144,11 @@
     "homebrew-cask": {
       "flake": false,
       "locked": {
-        "lastModified": 1710831589,
-        "narHash": "sha256-p5yFVctZiDgDgUJMUQDql3rjq5Ub3F5f34isKU6ljjs=",
+        "lastModified": 1709955474,
+        "narHash": "sha256-pE5x579FqCieeeEmrUtNKoBsMG41WSOfGWtXCTI9FP4=",
         "owner": "homebrew",
         "repo": "homebrew-cask",
-        "rev": "32ec3450608d2ca898cd37e3e3fa83911787bde1",
+        "rev": "43b9db57368e350c116398c7da6cb5401cd37ebe",
         "type": "github"
       },
       "original": {
@@ -160,11 +160,11 @@
     "homebrew-core": {
       "flake": false,
       "locked": {
-        "lastModified": 1710832165,
-        "narHash": "sha256-RKztyDRLe7Glow4i4MHrsvzgL2ZAQcsZ7ygKcwhMyBU=",
+        "lastModified": 1709956143,
+        "narHash": "sha256-5eyfpnVhxVv3+n53vp4j9DNx7O+mqtQqUn90JKS1PMM=",
         "owner": "homebrew",
         "repo": "homebrew-core",
-        "rev": "e0a91487110b6f86ca1624896f9fdf953ca4e9f6",
+        "rev": "a38d7e99bc103e9564208f2d155701d70001c8cc",
         "type": "github"
       },
       "original": {
@@ -180,11 +180,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1710415616,
-        "narHash": "sha256-1qVByzzCcKoCmP8ReUSAjKU5V9pfTLHQIM4WI1tvQ9E=",
+        "lastModified": 1709391291,
+        "narHash": "sha256-NJwAgXRKLVuO3YLkGxXIanLvTKN+cJsYwbLoWOa7ODk=",
         "owner": "hyprwm",
         "repo": "contrib",
-        "rev": "75420d09f93346d9d23d5a1e26b42699f6b66cd6",
+        "rev": "2d4ece4a008feefddc194bde785b1d39f987b5a7",
         "type": "github"
       },
       "original": {
@@ -341,11 +341,11 @@
     },
     "unstable": {
       "locked": {
-        "lastModified": 1710631334,
-        "narHash": "sha256-rL5LSYd85kplL5othxK5lmAtjyMOBg390sGBTb3LRMM=",
+        "lastModified": 1709703039,
+        "narHash": "sha256-6hqgQ8OK6gsMu1VtcGKBxKQInRLHtzulDo9Z5jxHEFY=",
         "owner": "nixos",
         "repo": "nixpkgs",
-        "rev": "c75037bbf9093a2acb617804ee46320d6d1fea5a",
+        "rev": "9df3e30ce24fd28c7b3e2de0d986769db5d6225d",
         "type": "github"
       },
       "original": {

gunther/hypr/hyprland.nix

@@ -155,7 +155,7 @@
     font = "monospace 14";
     terminal = "foot";
     extraConfig = {
-      modi = "drun,run";
+      modi = "drun,run,top";
     };
     plugins = [
       pkgs.rofi-top

gunther/leonv.nix

@@ -15,7 +15,6 @@
     orchis-theme
 
     # stuff
-    tidal-hifi
     jq
     vlc
     openvpn
@@ -82,12 +81,11 @@
     yubikey-manager
 
     # agda
+
     (agda.withPackages [ 
       agdaPackages.standard-library
       agdaPackages.agda-categories
     ])
-
-    lean4
   ];
 
   programs.home-manager.enable = true;