add python3.1-dev as well to debian.org-release.debian.org

diff --git a/debian/changelog b/debian/changelog
index b6982f2b371895479523a8a6c6580cb82a9d496e..2ad469fc85d6e61dd2ff92085e163ad2cc3bd052 100644 (file)
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,7 +1,7 @@
 debian.org (4XXXXXX) Xnstable; urgency=low
 
   [ Andreas Barth ]
-  * add python3.1 and python3-apt for release.debian.org
+  * add python3.1, python3.1-dev and python3-apt for release.debian.org
 
   [ Tollef Fog Heen ]
   * Add clasp, picosat for release.debian.org (RT #3324)

diff --git a/debian/control b/debian/control
index daae071f4556acee0ae1c522f0e47f5409783d4c..7f305a340e119b99b11cac334203ea61ebd0d5b4 100644 (file)
--- a/debian/control
+++ b/debian/control
@@ -388,6 +388,7 @@ Depends: edos-debcheck,
        procmail,
        rrdtool,
        python3.1,
+       python3.1-dev,
        python3-apt,
        clasp,
        picosat