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,
david
More information about the Ubuntu-devel-discuss
mailing list