diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2017-08-03 17:52:57 -0400 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2017-08-03 17:52:57 -0400 |
| commit | 01623bd2576c86f0fddbe1c594b806a48a7d220b (patch) | |
| tree | 1ba147823284e63de407fed569437b77ba83aae3 | |
| parent | 3e6419e3d9f346510714156bf4268ae9dd15215d (diff) | |
bump {build-,}deps emacs24 -> emacs25HEADdebian/7.4dfsg-3.1archive/debian/7.4dfsg-3.1master
| -rw-r--r-- | debian/changelog | 7 | ||||
| -rw-r--r-- | debian/control | 4 |
2 files changed, 9 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog index 54907d6..421e027 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +acl2 (7.4dfsg-3.1) unstable; urgency=medium + + * Non-maintainer upload. + * Bump {build-,}deps emacs24 -> emacs25 (Closes: #870663). + + -- Sean Whitton <spwhitton@spwhitton.name> Thu, 03 Aug 2017 17:27:43 -0400 + acl2 (7.4dfsg-3) unstable; urgency=medium * build-dep latest gcl diff --git a/debian/control b/debian/control index 4bb58e9..526eaec 100644 --- a/debian/control +++ b/debian/control @@ -2,7 +2,7 @@ Source: acl2 Section: math Priority: optional Maintainer: Camm Maguire <camm@debian.org> -Build-Depends: gcl ( >= 2.6.12-49), libgmp3-dev, libreadline-dev, emacs24 | emacsen, debhelper ( >= 5), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time, tex-common, texinfo +Build-Depends: gcl ( >= 2.6.12-49), libgmp3-dev, libreadline-dev, emacs25 | emacsen, debhelper ( >= 5), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time, tex-common, texinfo Standards-Version: 3.9.8 Package: acl2 @@ -29,7 +29,7 @@ Description: Computational Logic for Applicative Common Lisp: source files Package: acl2-emacs Architecture: all -Depends: acl2 (>= ${source:Version}), emacs24 | emacsen, ${misc:Depends} +Depends: acl2 (>= ${source:Version}), emacs25 | emacsen, ${misc:Depends} Conflicts: acl2 (<= 2.7-9) Replaces: acl2 (<= 2.7-9) Description: Computational Logic for Applicative Common Lisp: emacs interface |