Ubuntu
mldonkey package

  1. Bug #527633
  2. Comment #11

Comment 11 for bug 527633

Revision history for this message
Colin Watson (cjwatson) wrote :

[Updating] coq (8.2.pl1+dfsg-4 [Ubuntu] < 8.2.pl1+dfsg-6 [Debian])
 * Trying to add coq...
  - <coq_8.2.pl1+dfsg.orig.tar.gz: already in distro - downloading from librarian>
  - <coq_8.2.pl1+dfsg-6.diff.gz: downloading from http://ftp.debian.org/debian/>
  - <coq_8.2.pl1+dfsg-6.dsc: downloading from http://ftp.debian.org/debian/>
I: coq [universe] -> coq_8.2.pl1+dfsg-4 [universe].
I: coq [universe] -> coqide_8.2.pl1+dfsg-4 [universe].
I: coq [universe] -> coq-theories_8.2.pl1+dfsg-4 [universe].
I: coq [universe] -> libcoq-ocaml-dev_8.2.pl1+dfsg-4 [universe].