Why package "coq-doc" is not updated into Ubuntu?

David MENTRE dmentre at linux-france.org
Fri Jan 15 22:22:08 UTC 2010

Hello Benjamin,

2010/1/15 Benjamin Drung <bdrung at ubuntu.com>:
> It's not synchronised with Debian, because we sync automatically from
> Debian testing (and testing has currently only the old version).
> You can solve this issue by requesting a sync from Debian unstable
> (using the requestsync tool), which I have done for you now:
> https://launchpad.net/bugs/508116

Thank you for the explanations and the sync request.

Best regards,

More information about the Ubuntu-devel-discuss mailing list