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

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

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


Reply to: