2010/1/15 David MENTRE <[email protected]>: > 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 binaries. """ Regards, d. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
