Getting binaries for jaunty... [Updating] jeuclid (0 [Ubuntu] < 3.1.4-1 [Debian]) * Trying to add jeuclid... - <jeuclid_3.1.4-1.dsc: downloading from http://ftp.debian.org/debian/> - <jeuclid_3.1.4-1.diff.gz: downloading from http://ftp.debian.org/debian/> - <jeuclid_3.1.4.orig.tar.gz: downloading from http://ftp.debian.org/debian/>
Getting binaries for jaunty... 3.1.4-1. dsc: downloading from http:// ftp.debian. org/debian/> 3.1.4-1. diff.gz: downloading from http:// ftp.debian. org/debian/> 3.1.4.orig. tar.gz: downloading from http:// ftp.debian. org/debian/>
[Updating] jeuclid (0 [Ubuntu] < 3.1.4-1 [Debian])
* Trying to add jeuclid...
- <jeuclid_
- <jeuclid_
- <jeuclid_