diff --git a/home/modules/vscodium.nix b/home/modules/vscodium.nix
index 191a5e0..132df97 100644
--- a/home/modules/vscodium.nix
+++ b/home/modules/vscodium.nix
@@ -15,7 +15,6 @@
         with pkgs.vscode-extensions;
         [
           ms-python.python
-          ms-python.mypy-type-checker
           charliermarsh.ruff
           vscodevim.vim
           yzhang.markdown-all-in-one
@@ -33,11 +32,17 @@
             sha256 = "sha256-Jsfa1SrK1H0QwlJPEBdrb0gfGiIYoXdtIP32/4g+ceM=";
           }
           # TODO: probably available in nixpkgs soonish?
+          {
+            name = "mypy-type-checker";
+            publisher = "ms-python";
+            version = "2023.3.12681020";
+            sha256 = "sha256-rhed7CQlvxksVCGc9nPU2oYQWtXcAV5TzuG63e8Y3zM=";
+          }
           {
             name = "vscode-pets";
             publisher = "tonybaloney";
-            version = "1.34.0";
-            sha256 = "sha256-+4D9QKMB0BsIm8qy4ZNC5H87V21wgLD7ztrYJ/R3UJQ=";
+            version = "1.25.1";
+            sha256 = "sha256-as3e2LzKBSsiGs/UGIZ06XqbLh37irDUaCzslqITEJQ=";
           }
         ];
       userSettings =
@@ -88,9 +93,9 @@
           "python.experiments.enabled" = false;
           "python.languageServer" = "Jedi"; # don't use proprietary pylance server
           "python.defaultInterpreterPath" = lib.getExe defaultPython;
-          #"mypy-type-checker.path" = [ "${pkgs.python3Packages.mypy}/bin/dmypy" ];
+          "mypy-type-checker.path" = [ "${pkgs.python3Packages.mypy}/bin/dmypy" ];
           "mypy-type-checker.preferDaemon" = true;
-          #"mypy-type-checker.importStrategy" = "fromEnvironment";
+          "mypy-type-checker.importStrategy" = "fromEnvironment";
           "mypy-type-checker.args" = [ "--ignore-missing-imports" ];
           "ruff.path" = [ (lib.getExe pkgs.ruff) ];
           "gitlens.telemetry.enabled" = false;