diff options
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/control | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/control b/debian/control index 0ef1ece..2e96d3e 100644 --- a/debian/control +++ b/debian/control @@ -10,6 +10,7 @@ Build-Depends: diffutils <!nocheck>, gpg <!nocheck>, gpg-agent <!nocheck>, + mypy <!nocheck>, perl, python3 <!nocheck>, python3-argcomplete, |