Add clasp, picosat for release.debian.org (RT #3324)

[dsa-metapackages.git] / debian / control

diff --git a/debian/control b/debian/control
index 4547c2d9e159b0d18f19b7f67b0e72171a5f6b02..daae071f4556acee0ae1c522f0e47f5409783d4c 100644 (file)
--- a/debian/control
+++ b/debian/control
@@ -386,7 +386,11 @@ Depends: edos-debcheck,
        libapt-pkg-dev,
        dpkg-dev,
        procmail,
-       rrdtool
+       rrdtool,
+       python3.1,
+       python3-apt,
+       clasp,
+       picosat
 Description: metapackage for release
  This package depends on everything that is needed for a release.debian.org
  setup.