Re: How to verify coherency of Coq and OCaml packages?
2010/1/15 David MENTRE <email@example.com>:
> 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.
The explanation of Benjamin Drung:
Looking at https://launchpad.net/ubuntu/+source/coq-doc , the package
was synced in hardy (version 8.1-3). The problem was, that this package
failed to build from source (FTBFS). Therefore there were no new