diff --git a/package/debian/control.bionic b/package/debian/control.bionic
index 2f613917505..479291e13f6 100644
--- a/package/debian/control.bionic
+++ b/package/debian/control.bionic
@@ -10,7 +10,7 @@ Package: kframework
 Architecture: any
 Section: devel
 Priority: optional
-Depends: bison , clang-10 , default-jre-headless , flex , gcc , libgmp-dev , libjemalloc-dev , libmpfr-dev , libyaml-0-2 , libz3-4 , lld-10 , pkg-config , llvm-10
+Depends: bison , clang-10 , default-jre-headless , flex , gcc , libffi-dev , libgmp-dev , libjemalloc-dev , libmpfr-dev , libtinfo-dev , libyaml-0-2 , libz3-4 , lld-10 , pkg-config , llvm-10
 Recommends: z3
 Description: K framework toolchain
  Includes K Framework compiler for K language definitions, and K interpreter
diff --git a/package/debian/control.focal b/package/debian/control.focal
index 7dfd7b073ac..7998fd6c8dc 100644
--- a/package/debian/control.focal
+++ b/package/debian/control.focal
@@ -10,7 +10,7 @@ Package: kframework
 Architecture: any
 Section: devel
 Priority: optional
-Depends: bison , clang-12 , default-jre-headless , flex , gcc , libgmp-dev , libjemalloc-dev , libmpfr-dev , libyaml-0-2 , libz3-4 , lld-12 , pkg-config , llvm-12
+Depends: bison , clang-12 , default-jre-headless , flex , gcc , libffi-dev , libgmp-dev , libjemalloc-dev , libmpfr-dev , libtinfo-dev , libyaml-0-2 , libz3-4 , lld-12 , pkg-config , llvm-12
 Recommends: z3
 Description: K framework toolchain
  Includes K Framework compiler for K language definitions, and K interpreter