tags + patch
Ubuntu has a patch for this. (http://patches.ubuntu.com/a/acl2/acl2_3.3-1ubuntu1.patch)
--- acl2-3.3/debian/control 2008-04-04 17:37:41.000000000 +0300 +++ acl2-3.3.p/debian/control 2008-04-04 17:36:07.000000000 +0300 @@ -2,7 +2,7 @@ Section: math Priority: optional Maintainer: Camm Maguire <[EMAIL PROTECTED]> -Build-Depends: gcl ( >= 2.6.7-36 ), libgmp3-dev, libncurses5-dev, libreadline5-dev | libreadline-dev, emacs22 | emacsen, debhelper ( >= 4 ), texlive-latex-recommended, libxmu-dev, libxaw7-dev +Build-Depends: gcl ( >= 2.6.7-36 ), libgmp3-dev, libncurses5-dev, libreadline5-dev | libreadline-dev, emacs22 | emacsen, debhelper ( >= 4 ), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time Standards-Version: 3.7.2 Package: acl2
