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
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
