[Bug 508116] Sync coq-doc 8.2pl1-1 (multiverse) from Debian sid (non-free)
James Westby
jw+debian at jameswestby.net
Mon Jan 18 05:48:25 GMT 2010
[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
Package Archive Administrators, which is a direct subscriber.
More information about the ubuntu-archive
mailing list