lp:ubuntu/edgy/coq-doc
Created by
James Westby
and last modified
- Get this branch:
- bzr branch lp:ubuntu/edgy/coq-doc
Members of
Ubuntu branches
can upload to this branch. Log in for directions.
Branch information
Recent revisions
- 3. By Samuel Mimram
-
* 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.
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:ubuntu/lucid/coq-doc