Hello, 2010/1/15 David MENTRE <[email protected]>: > I'll contact Ubuntu developers and check with them. Thank you Mehdi > and Stéphane for the feedback.
Ubuntu developer response (Benjamin Drung): """ 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 """ It is not clear to me that Benjamin's response explains why coq-doc has not been updated in Ubuntu since Dapper. Anyway, the issue will be solved shortly. Regards, d. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
