[Updating] gecode (3.0.2-1ubuntu1 [Ubuntu] < 3.1.0-1 [Debian]) * Trying to add gecode... - <gecode_3.1.0-1.dsc: downloading from http://ftp.debian.org/debian/> - <gecode_3.1.0.orig.tar.gz: downloading from http://ftp.debian.org/debian/> - <gecode_3.1.0-1.diff.gz: downloading from http://ftp.debian.org/debian/> I: gecode [universe] -> libgecode-dev_3.0.2-1ubuntu1 [universe]. I: gecode [universe] -> libgecode-doc_3.0.2-1ubuntu1 [universe]. Connection to cocoplum.canonical.com closed.
[Updating] gecode (3.0.2-1ubuntu1 [Ubuntu] < 3.1.0-1 [Debian]) 3.1.0-1. dsc: downloading from http:// ftp.debian. org/debian/> 3.1.0.orig. tar.gz: downloading from http:// ftp.debian. org/debian/> 3.1.0-1. diff.gz: downloading from http:// ftp.debian. org/debian/> dev_3.0. 2-1ubuntu1 [universe]. doc_3.0. 2-1ubuntu1 [universe]. canonical. com closed.
* Trying to add gecode...
- <gecode_
- <gecode_
- <gecode_
I: gecode [universe] -> libgecode-
I: gecode [universe] -> libgecode-
Connection to cocoplum.