From 61fa3a8092a2b0eee7000e9303d3c41e6a27c71e Mon Sep 17 00:00:00 2001 From: jmarkin Date: Thu, 10 Jul 2025 23:07:28 +0300 Subject: [PATCH] mypy -> ty --- python/nix/development.nix | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/python/nix/development.nix b/python/nix/development.nix index 14e8935..c04738e 100644 --- a/python/nix/development.nix +++ b/python/nix/development.nix @@ -67,9 +67,9 @@ in python.pkgs.venvShellHook python.pkgs.pip - python.pkgs.jedi-language-server - python.pkgs.ruff - python.pkgs.mypy + pkgs-dev.basedpyright + pkgs-dev.ruff + pkgs-dev.ty pkgs-dev.pre-commit ];