diff --git a/tools/install-deps/.gitignore b/tools/install-deps/.gitignore
new file mode 100644
index 0000000000000000000000000000000000000000..87bb437c079952d6e7fff62cdbd76e48b2df0527
--- /dev/null
+++ b/tools/install-deps/.gitignore
@@ -0,0 +1,3 @@
+*.buildinfo
+*.changes
+*.deb
diff --git a/tools/install-deps/Makefile b/tools/install-deps/Makefile
new file mode 100644
index 0000000000000000000000000000000000000000..d3522391e939f1e9a2eb2043f443a5e5cb16cf4f
--- /dev/null
+++ b/tools/install-deps/Makefile
@@ -0,0 +1,7 @@
+VERSION = 1.0
+
+lambdapi-pvs_${VERSION}_all.deb: lambdapi-pvs.ctl
+	equivs-build $<
+
+clean:
+	rm -f *.buildinfo *.changes
diff --git a/tools/install-deps/lambdapi-pvs.ctl b/tools/install-deps/lambdapi-pvs.ctl
new file mode 100644
index 0000000000000000000000000000000000000000..3bf28941d4c22f858c56c7c5fa8f28b0d2cfaa53
--- /dev/null
+++ b/tools/install-deps/lambdapi-pvs.ctl
@@ -0,0 +1,27 @@
+Source: lambdapi-pvs
+Section: misc
+Priority: optional
+Homepage: https://github.com/Deducteam/personoj
+Standards-Version: 3.9.2
+
+Package: lambdapi-pvs
+Version: 1.0
+Maintainer: Gabriel Hondet <gabriel (dot) hondet (at) inria (dot) fr>
+# Pre-Depends: <comma-separated list of packages>
+Depends: zlib1g-dev,libx11-dev,libgmp-dev,bubblewrap,m4,gcc,autoconf,make,unzip,pkg-config,git,rsync,bmake,ksh,c-compiler,sbcl
+Recommends: emacs-nox
+# Suggests: <comma-separated list of packages>
+# Provides: <comma-separated list of packages>
+# Replaces: <comma-separated list of packages>
+# Architecture: all
+# Multi-Arch: <one of: foreign|same|allowed>
+# Copyright: BSD3
+# Changelog: <changelog file; defaults to a generic changelog>
+# Readme: <README.Debian file; defaults to a generic one>
+# Extra-Files: <comma-separated list of additional files for the doc directory>
+# Links: <pair of space-separated paths; First is path symlink points at, second is filename of link>
+# Files: <pair of space-separated paths; First is file to include, second is destination>
+#  <more pairs, if there's more than one file to include. Notice the starting space>
+Description: Meta package to install dependencies for lambdapi and PVS
+ This package gathers the dependencies required to export theories from PVS to
+ Dedukti.