[Updating] drscheme (2:4.0-1ubuntu2 [Ubuntu] < 2:4.0.1+fake.1 [Debian]) * Trying to add drscheme... - <drscheme_4.0.1+fake.1.dsc: downloading from http://ftp.debian.org/debian/> - <drscheme_4.0.1+fake.1.tar.gz: downloading from http://ftp.debian.org/debian/> I: drscheme [universe] -> drscheme_2:4.0-1ubuntu2 [universe]. I: drscheme [universe] -> mzscheme_2:4.0-1ubuntu2 [universe].
[Updating] drscheme (2:4.0-1ubuntu2 [Ubuntu] < 2:4.0.1+fake.1 [Debian]) 4.0.1+fake. 1.dsc: downloading from http:// ftp.debian. org/debian/> 4.0.1+fake. 1.tar.gz: downloading from http:// ftp.debian. org/debian/> 2:4.0-1ubuntu2 [universe]. 2:4.0-1ubuntu2 [universe].
* Trying to add drscheme...
- <drscheme_
- <drscheme_
I: drscheme [universe] -> drscheme_
I: drscheme [universe] -> mzscheme_