[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: How to verify coherency of Coq and OCaml packages?



Hello,

2010/1/15 David MENTRE <dmentre@linux-france.org>:
> 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.


Reply to: