diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index bcb9fd2d77..8bef70fc7f 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -479,7 +479,11 @@ else()
   SET(CPACK_GENERATOR ZIP)
 endif()
 # CPack -- Debian
-SET(CPACK_DEBIAN_PACKAGE_DEPENDS "python")
+if(STATIC)
+  SET(CPACK_DEBIAN_PACKAGE_DEPENDS "python")
+else()
+  SET(CPACK_DEBIAN_PACKAGE_DEPENDS "libstdc++-4.8-dev,libgmp-dev,libmpfr-dev,liblua5.2-dev,python")
+endif()
 SET(CPACK_DEBIAN_PACKAGE_DESCRIPTION "Lean Theorem Prover")
 SET(CPACK_DEBIAN_PACKAGE_SECTION "devel")
 include(CPack)