[Bug 508116] Sync coq-doc 8.2pl1-1 (multiverse) from Debian sid (non-free)

[James Westby]

[Updating] coq-doc (8.1-3 [Ubuntu] < 8.2pl1-1 [Debian])
 * Trying to add coq-doc...
  - <coq-doc_8.2pl1-1.dsc: downloading from http://ftp.debian.org/debian/>
  - <coq-doc_8.2pl1.orig.tar.gz: downloading from http://ftp.debian.org/debian/>
  - <coq-doc_8.2pl1-1.debian.tar.gz: downloading from http://ftp.debian.org/debian/>
I: coq-doc [multiverse] -> coq-doc_8.0pl1.0-1 [multiverse].


** Changed in: coq-doc (Ubuntu)
       Status: Confirmed => Fix Released

-- 
Sync coq-doc 8.2pl1-1 (multiverse) from Debian sid (non-free)
https://bugs.launchpad.net/bugs/508116
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs at lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs