summaryrefslogtreecommitdiff
path: root/profiles/devel
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2021-11-02 13:57:18 +0100
committerKarel Kočí <cynerd@email.cz>2021-11-02 13:57:18 +0100
commit750f55ae85a610f870c13f07614883010d384c7e (patch)
tree5454de9c2a7b36ce72894be011b93b4b6765bdbb /profiles/devel
parentf9369290849f15b34168dbf58a6c96ea4bb4fccd (diff)
downloadgentoo-personal-overlay-750f55ae85a610f870c13f07614883010d384c7e.tar.gz
gentoo-personal-overlay-750f55ae85a610f870c13f07614883010d384c7e.tar.bz2
gentoo-personal-overlay-750f55ae85a610f870c13f07614883010d384c7e.zip
profiles/devel: add mypy
Diffstat (limited to 'profiles/devel')
-rw-r--r--profiles/devel/packages1
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/devel/packages b/profiles/devel/packages
index 888422a..50f25d7 100644
--- a/profiles/devel/packages
+++ b/profiles/devel/packages
@@ -18,6 +18,7 @@ app-misc/jq
# Python
dev-python/pylint
dev-python/python-lsp-black
+dev-python/mypy
## C
sys-devel/gdb