[Bug 228509] Please sync acl2 3.3-1.1 from Debian unstable (main)

Martin Pitt martin.pitt at ubuntu.com
Fri May 9 12:18:27 BST 2008


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].


** Changed in: acl2 (Ubuntu)
       Status: Confirmed => Fix Released

-- 
Please sync acl2 3.3-1.1 from Debian unstable (main)
https://bugs.launchpad.net/bugs/228509
You received this bug notification because you are a member of Ubuntu
Package Archive Administrators, which is a direct subscriber.



More information about the ubuntu-archive mailing list