Hello Mehdi, 2010/1/15 Mehdi Dogguy <[email protected]>: > Maybe a sync request is needed to get the latest coq-doc package?
I'll contact Ubuntu developers and check with them. Thank you Mehdi and Stéphane for the feedback. Regards, d. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
