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

[David MENTRE]

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,
david