Ubuntu
coq-doc package

Branches for Dapper

Name Status Last Modified Last Commit
lp:ubuntu/dapper/coq-doc 2 Mature 2010-02-21 08:37:14 UTC
3. * Added the Coq faq, moved the tutori...

Author: Samuel Mimram
Revision Date: 2004-09-18 13:28:22 UTC

* Added the Coq faq, moved the tutorial to the root directory and added
  doc-base files for both, closes: #272204.
* Set dh_compat to level 4.
1 → 1 of 1 result First • Previous • Next • Last