Please sync acl2 3.3-1.1 from Debian unstable (main)

[Nathan Handler]

Binary package hint: acl2

Here are the last two entries in debian/changelog:

acl2 (3.3-1.1) unstable; urgency=low

  * Non-maintainer upload.
  * Build depend on time, so that it works with shells other than bash
    (Closes: #459060).

 -- Peter Eisentraut <email address hidden> Sat, 05 Apr 2008 18:49:49 +0200

acl2 (3.3-1ubuntu1) hardy; urgency=low

  * debian/control:
    + Add time to Build-Depends (fixes FTBFS, LP: #185102).
    + Modify Maintainer value to match DebianMaintainerField spec.

 -- Michael Bienia <email address hidden> Sun, 17 Feb 2008 00:01:22 +0100

There were only two Ubuntu changes made. The first one, adding time to Build-Depends, was also done in Debian. The second change, modifying the maintainer field, would be lost in the sync.

[Daniel Holbach (dholbach)]

ACKed.

[Martin Pitt (pitti)]

Getting binaries for intrepid...
[Updating] acl2 (3.3-1ubuntu1 [Ubuntu] < 3.3-1.1 [Debian])
 * Trying to add acl2...
  - <acl2_3.3-1.1.dsc: downloading from http://ftp.debian.org/debian/>
  - <acl2_3.3-1.1.diff.gz: downloading from http://ftp.debian.org/debian/>
  - <acl2_3.3.orig.tar.gz: already in distro - downloading from librarian>
I: acl2 [universe] -> acl2_3.3-1ubuntu1 [universe].
I: acl2 [universe] -> acl2-source_3.1-1 [universe].
I: acl2 [universe] -> acl2-emacs_3.1-1 [universe].
I: acl2 [universe] -> acl2-infix_3.3-1ubuntu1 [universe].
I: acl2 [universe] -> acl2-infix-source_3.1-1 [universe].
I: acl2 [universe] -> acl2-books_3.3-1ubuntu1 [universe].
I: acl2 [universe] -> acl2-books-source_3.1-1 [universe].
I: acl2 [universe] -> acl2-books-certs_3.1-1 [universe].
I: acl2 [universe] -> acl2-doc_3.1-1 [universe].