Why package "coq-doc" is not updated into Ubuntu?
dmentre at linux-france.org
Fri Jan 15 22:22:08 UTC 2010
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:
Thank you for the explanations and the sync request.
More information about the Ubuntu-devel-discuss