2010-08-04 20:05:37 INFO sbcl_1.0.40.0.orig.tar.gz: already in distro - downloading from librarian 2010-08-04 20:05:37 INFO - <sbcl_1.0.40.0-2.dsc: downloading from http://ftp.debian.org/debian/> [Updating] sbcl (1:1.0.40.0-1 [Ubuntu] < 1:1.0.40.0-2 [Debian]) * Trying to add sbcl... 2010-08-04 20:05:37 INFO - <sbcl_1.0.40.0-2.diff.gz: downloading from http://ftp.debian.org/debian/> 2010-08-04 20:05:37 INFO - <sbcl_1.0.40.0.orig.tar.gz: cached> I: sbcl [universe] -> sbcl_1:1.0.40.0-1 [universe]. I: sbcl [universe] -> sbcl-doc_1:1.0.40.0-1 [universe]. I: sbcl [universe] -> sbcl-source_1:1.0.40.0-1 [universe].
2010-08-04 20:05:37 INFO sbcl_1. 0.40.0. orig.tar. gz: already in distro - downloading from librarian 0.40.0- 2.dsc: downloading from http:// ftp.debian. org/debian/> 0.40.0- 2.diff. gz: downloading from http:// ftp.debian. org/debian/> 0.40.0. orig.tar. gz: cached> 1:1.0.40. 0-1 [universe]. 1:1.0.40. 0-1 [universe].
2010-08-04 20:05:37 INFO - <sbcl_1.
[Updating] sbcl (1:1.0.40.0-1 [Ubuntu] < 1:1.0.40.0-2 [Debian])
* Trying to add sbcl...
2010-08-04 20:05:37 INFO - <sbcl_1.
2010-08-04 20:05:37 INFO - <sbcl_1.
I: sbcl [universe] -> sbcl_1:1.0.40.0-1 [universe].
I: sbcl [universe] -> sbcl-doc_
I: sbcl [universe] -> sbcl-source_