2010-10-01 11:40:24 INFO sml-mode_4.0.orig.tar.gz: already in distro - downloading from librarian 2010-10-01 11:40:24 INFO - <sml-mode_4.0.orig.tar.gz: cached> [Updating] sml-mode (4.0-7 [Ubuntu] < 4.0-8 [Debian]) * Trying to add sml-mode... 2010-10-01 11:40:24 INFO - <sml-mode_4.0-8.dsc: downloading from http://ftp.debian.org/debian/> 2010-10-01 11:40:24 INFO - <sml-mode_4.0-8.debian.tar.gz: downloading from http://ftp.debian.org/debian/> I: sml-mode [universe] -> sml-mode_4.0-7 [universe].
2010-10-01 11:40:24 INFO sml-mode_ 4.0.orig. tar.gz: already in distro - downloading from librarian 4.0.orig. tar.gz: cached> 4.0-8.dsc: downloading from http:// ftp.debian. org/debian/> 4.0-8.debian. tar.gz: downloading from http:// ftp.debian. org/debian/>
2010-10-01 11:40:24 INFO - <sml-mode_
[Updating] sml-mode (4.0-7 [Ubuntu] < 4.0-8 [Debian])
* Trying to add sml-mode...
2010-10-01 11:40:24 INFO - <sml-mode_
2010-10-01 11:40:24 INFO - <sml-mode_
I: sml-mode [universe] -> sml-mode_4.0-7 [universe].