Getting binaries for hardy... [Updating] coq (8.1.pl2+dfsg-3 [Ubuntu] < 8.1.pl3+dfsg-1 [Debian]) * Trying to add coq... - <coq_8.1.pl3+dfsg-1.dsc: downloading from http://ftp.uk.debian.org/debian/> - <coq_8.1.pl3+dfsg.orig.tar.gz: downloading from http://ftp.uk.debian.org/debian/> - <coq_8.1.pl3+dfsg-1.diff.gz: downloading from http://ftp.uk.debian.org/debian/> I: coq [universe] -> coq_8.1+dfsg-6 [universe]. I: coq [universe] -> coq-libs_8.1+dfsg-6 [universe]. I: coq [universe] -> coqide_8.1+dfsg-6 [universe].
Getting binaries for hardy... 1.pl3+dfsg- 1.dsc: downloading from http:// ftp.uk. debian. org/debian/> 1.pl3+dfsg. orig.tar. gz: downloading from http:// ftp.uk. debian. org/debian/> 1.pl3+dfsg- 1.diff. gz: downloading from http:// ftp.uk. debian. org/debian/>
[Updating] coq (8.1.pl2+dfsg-3 [Ubuntu] < 8.1.pl3+dfsg-1 [Debian])
* Trying to add coq...
- <coq_8.
- <coq_8.
- <coq_8.
I: coq [universe] -> coq_8.1+dfsg-6 [universe].
I: coq [universe] -> coq-libs_8.1+dfsg-6 [universe].
I: coq [universe] -> coqide_8.1+dfsg-6 [universe].