Package: acl2 Version: 4.3-3 Severity: important Tags: patch Hello,
Since emacs24 is now in testing for Wheezy, emacs24 should be a build dependency as well as emacs23. The debian/control file patch is inlined below: --- a/debian_control 2012-04-20 18:09:14.000000000 +0200 +++ b/debian/control 2012-07-25 00:01:09.000000000 +0200 @@ -2,7 +2,7 @@ Section: math Priority: optional Maintainer: Camm Maguire <c...@debian.org> -Build-Depends: gcl ( >= 2.6.7-100 ), libgmp3-dev, libreadline-dev, emacs23 | emacsen, debhelper ( >= 5 ), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time, tex-common +Build-Depends: gcl ( >= 2.6.7-100 ), libgmp3-dev, libreadline-dev, emacs23 | emacs24 | emacsen, debhelper ( >= 5 ), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time, tex-common Standards-Version: 3.9.3 Package: acl2 By the way, there is no package named emacsen, only emacsen-common, so why build-depend on a non-existing package: emacsen? Thanks! -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
