chiark / gitweb /
Add clasp, picosat for release.debian.org (RT #3324)
authorTollef Fog Heen <tfheen@err.no>
Sun, 31 Jul 2011 08:39:44 +0000 (10:39 +0200)
committerTollef Fog Heen <tfheen@err.no>
Sun, 31 Jul 2011 08:39:44 +0000 (10:39 +0200)
debian/changelog
debian/control

index e2aa75e..b6982f2 100644 (file)
@@ -3,7 +3,10 @@ debian.org (4XXXXXX) Xnstable; urgency=low
   [ Andreas Barth ]
   * add python3.1 and python3-apt for release.debian.org
 
- -- Peter Palfrader <weasel@debian.org>  Sat, 30 Jul 2011 11:28:15 +0200
+  [ Tollef Fog Heen ]
+  * Add clasp, picosat for release.debian.org (RT #3324)
+
+ -- Tollef Fog Heen <tfheen@debian.org>  Sun, 31 Jul 2011 10:36:22 +0200
 
 debian.org (44) unstable; urgency=low
 
index 734691c..daae071 100644 (file)
@@ -388,7 +388,9 @@ Depends: edos-debcheck,
        procmail,
        rrdtool,
        python3.1,
-       python3-apt
+       python3-apt,
+       clasp,
+       picosat
 Description: metapackage for release
  This package depends on everything that is needed for a release.debian.org
  setup.