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: